Public Member Functions | |
AlgebraicVisitor (const Assumptions *assumptions) | |
void | bvisit (const Basic &x) |
void | bvisit (const Add &x) |
void | bvisit (const Symbol &x) |
void | bvisit (const Integer &x) |
void | bvisit (const Rational &x) |
void | bvisit (const Set &x) |
void | bvisit (const Relational &x) |
void | bvisit (const Boolean &x) |
void | bvisit (const Constant &x) |
void | bvisit (const TrigFunction &x) |
void | bvisit (const HyperbolicFunction &x) |
void | bvisit (const LambertW &x) |
tribool | apply (const Basic &b) |
Private Member Functions | |
void | trans_nonzero_and_algebraic (const Basic &b) |
void | error () |
Private Attributes | |
tribool | is_algebraic_ |
const Assumptions * | assumptions_ |
Definition at line 433 of file test_visitors.h.