SymEngine::RewriteAsExp Class Reference

Inheritance diagram for SymEngine::RewriteAsExp:

Collaboration diagram for SymEngine::RewriteAsExp:

Public Member Functions
void	bvisit (const Sin &x)
void	bvisit (const Cos &x)
void	bvisit (const Tan &x)
void	bvisit (const Cot &x)
void	bvisit (const Csc &x)
void	bvisit (const Sec &x)
void	bvisit (const Sinh &x)
void	bvisit (const Cosh &x)
void	bvisit (const Tanh &x)
void	bvisit (const Csch &x)
void	bvisit (const Sech &x)
void	bvisit (const Coth &x)
void	bvisit (const Basic &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Pow &x)
void	bvisit (const OneArgFunction &x)
template<class T >
void	bvisit (const TwoArgBasic< T > &x)
void	bvisit (const MultiArgFunction &x)
void	bvisit (const Piecewise &x)
Public Member Functions inherited from SymEngine::TransformVisitor
virtual RCP< const Basic >	apply (const RCP< const Basic > &x)
void	bvisit (const Basic &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Pow &x)
void	bvisit (const OneArgFunction &x)
template<class T >
void	bvisit (const TwoArgBasic< T > &x)
void	bvisit (const MultiArgFunction &x)
void	bvisit (const Piecewise &x)

Additional Inherited Members
Protected Attributes inherited from SymEngine::TransformVisitor
RCP< const Basic >	result_

Detailed Description

Definition at line 7 of file rewrite.cpp.

Constructor & Destructor Documentation

RewriteAsExp()

SymEngine::RewriteAsExp::RewriteAsExp ( )

inline

Definition at line 12 of file rewrite.cpp.

: BaseVisitor<RewriteAsExp, TransformVisitor>() {}

Member Function Documentation

bvisit() [1/20]

void SymEngine::TransformVisitor::bvisit

(

const Add &

x

)

Definition at line 247 of file visitor.cpp.

{
    vec_basic newargs;
    for (const auto &a : x.get_args()) {
        newargs.push_back(apply(a));
    }
    result_ = add(newargs);
}

bvisit() [2/20]

void SymEngine::TransformVisitor::bvisit

(

const Basic &

x

)

Definition at line 246 of file visitor.cpp.

{
    result_ = x.rcp_from_this();
}

bvisit() [3/20]

void SymEngine::RewriteAsExp::bvisit ( const Cos &  x )

inline

Definition at line 24 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto expo = mul(I, newarg);
        auto a = exp(expo);
        auto b = exp(neg(expo));
        result_ = div(add(a, b), integer(2));
    }

bvisit() [4/20]

void SymEngine::RewriteAsExp::bvisit ( const Cosh &  x )

inline

Definition at line 81 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        result_ = div(add(exp(newarg), exp(neg(newarg))), integer(2));
    }

bvisit() [5/20]

void SymEngine::RewriteAsExp::bvisit ( const Cot &  x )

inline

Definition at line 44 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto expo = mul(I, newarg);
        auto a = exp(expo);
        auto b = exp(neg(expo));
        result_ = div(mul(I, add(a, b)), sub(a, b));
    }

bvisit() [6/20]

void SymEngine::RewriteAsExp::bvisit ( const Coth &  x )

inline

Definition at line 115 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto pos_exp = exp(newarg);
        auto neg_exp = exp(neg(newarg));
        result_ = div(add(pos_exp, neg_exp), sub(pos_exp, neg_exp));
    }

bvisit() [7/20]

void SymEngine::RewriteAsExp::bvisit ( const Csc &  x )

inline

Definition at line 54 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto expo = mul(I, newarg);
        auto a = exp(expo);
        auto b = exp(neg(expo));
        result_ = div(mul(I, integer(2)), sub(a, b));
    }

bvisit() [8/20]

void SymEngine::RewriteAsExp::bvisit ( const Csch &  x )

inline

Definition at line 97 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto pos_exp = exp(newarg);
        auto neg_exp = exp(neg(newarg));
        result_ = div(integer(2), sub(pos_exp, neg_exp));
    }

bvisit() [9/20]

void SymEngine::TransformVisitor::bvisit

(

const Mul &

x

)

Definition at line 248 of file visitor.cpp.

{
    vec_basic newargs;
    for (const auto &a : x.get_args()) {
        newargs.push_back(apply(a));
    }
    result_ = mul(newargs);
}

bvisit() [10/20]

void SymEngine::TransformVisitor::bvisit

(

const MultiArgFunction &

x

)

Definition at line 264 of file visitor.cpp.

{
    auto fargs = x.get_args();
    vec_basic newargs;
    for (const auto &a : fargs) {
        newargs.push_back(apply(a));
    }
    auto nbarg = x.create(newargs);
    result_ = nbarg;
}

bvisit() [11/20]

void SymEngine::TransformVisitor::bvisit

(

const OneArgFunction &

x

)

Definition at line 250 of file visitor.cpp.

{
    auto farg = x.get_arg();
    auto newarg = apply(farg);
    if (eq(*newarg, *farg)) {
        result_ = x.rcp_from_this();
    } else {
        result_ = x.create(newarg);
    }
}

bvisit() [12/20]

void SymEngine::TransformVisitor::bvisit

(

const Piecewise &

x

)

Definition at line 265 of file visitor.cpp.

{
    auto branch_cond_pairs = x.get_vec();
    PiecewiseVec new_pairs;
    for (const auto &branch_cond : branch_cond_pairs) {
        auto branch = branch_cond.first;
        auto cond = branch_cond.second;
        auto new_branch = apply(branch);
        auto new_cond = apply(cond);
        if (!is_a_Boolean(*new_cond)) {
            new_cond = Eq(new_cond, boolTrue);
        }
        new_pairs.push_back(
            {new_branch, rcp_static_cast<const Boolean>(new_cond)});
    }
    result_ = piecewise(new_pairs);
}

bvisit() [13/20]

void SymEngine::TransformVisitor::bvisit

(

const Pow &

x

)

Definition at line 249 of file visitor.cpp.

{
    auto base_ = x.get_base(), exp_ = x.get_exp();
    auto newarg1 = apply(base_), newarg2 = apply(exp_);
    if (base_ != newarg1 or exp_ != newarg2) {
        result_ = pow(newarg1, newarg2);
    } else {
        result_ = x.rcp_from_this();
    }
}

bvisit() [14/20]

void SymEngine::RewriteAsExp::bvisit ( const Sec &  x )

inline

Definition at line 64 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto expo = mul(I, newarg);
        auto a = exp(expo);
        auto b = exp(neg(expo));
        result_ = div(integer(2), add(a, b));
    }

bvisit() [15/20]

void SymEngine::RewriteAsExp::bvisit ( const Sech &  x )

inline

Definition at line 106 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto pos_exp = exp(newarg);
        auto neg_exp = exp(neg(newarg));
        result_ = div(integer(2), add(pos_exp, neg_exp));
    }

bvisit() [16/20]

void SymEngine::RewriteAsExp::bvisit ( const Sin &  x )

inline

Definition at line 14 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto expo = mul(I, newarg);
        auto a = exp(expo);
        auto b = exp(neg(expo));
        result_ = div(sub(a, b), mul(integer(2), I));
    }

bvisit() [17/20]

void SymEngine::RewriteAsExp::bvisit ( const Sinh &  x )

inline

Definition at line 74 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        result_ = div(sub(exp(newarg), exp(neg(newarg))), integer(2));
    }

bvisit() [18/20]

void SymEngine::RewriteAsExp::bvisit ( const Tan &  x )

inline

Definition at line 34 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto expo = mul(I, newarg);
        auto a = exp(expo);
        auto b = exp(neg(expo));
        result_ = div(sub(a, b), mul(I, add(a, b)));
    }

bvisit() [19/20]

void SymEngine::RewriteAsExp::bvisit ( const Tanh &  x )

inline

Definition at line 88 of file rewrite.cpp.

    {
        auto farg = x.get_arg();
        auto newarg = apply(farg);
        auto pos_exp = exp(newarg);
        auto neg_exp = exp(neg(newarg));
        result_ = div(sub(pos_exp, neg_exp), add(pos_exp, neg_exp));
    }

bvisit() [20/20]

template<class T >

void SymEngine::TransformVisitor::bvisit ( const TwoArgBasic< T > &  x )

inline

Definition at line 253 of file visitor.h.

    {
        auto farg1 = x.get_arg1(), farg2 = x.get_arg2();
        auto newarg1 = apply(farg1), newarg2 = apply(farg2);
        if (farg1 != newarg1 or farg2 != newarg2) {
            result_ = x.create(newarg1, newarg2);
        } else {
            result_ = x.rcp_from_this();
        }
    }

---

The documentation for this class was generated from the following file:

• /home/runner/work/symengine/symengine/symengine/rewrite.cpp