Public Member Functions | |
RationalVisitor (bool rational) | |
void | bvisit (const Basic &x) |
void | bvisit (const Symbol &x) |
void | bvisit (const Integer &x) |
void | bvisit (const Rational &x) |
void | bvisit (const Number &x) |
void | bvisit (const Set &x) |
void | bvisit (const Relational &x) |
void | bvisit (const Boolean &x) |
void | bvisit (const Constant &x) |
void | bvisit (const Add &x) |
tribool | apply (const Basic &b) |
Private Attributes | |
bool | rational_ |
tribool | is_rational_ |
bool | neither_ = false |
Definition at line 362 of file test_visitors.h.