Public Member Functions | |
RefineVisitor (const Assumptions *assumptions) | |
void | bvisit (const Abs &x) |
void | bvisit (const Sign &x) |
void | bvisit (const Floor &x) |
void | bvisit (const Ceiling &x) |
void | bvisit (const Conjugate &x) |
void | bvisit (const Max &x) |
void | bvisit (const Min &x) |
void | bvisit (const Pow &x) |
void | bvisit (const Log &x) |
void | bvisit (const Interval &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) |
Private Attributes | |
const Assumptions * | assumptions_ |
Additional Inherited Members | |
Protected Attributes inherited from SymEngine::TransformVisitor | |
RCP< const Basic > | result_ |