Public Member Functions | |
void | bvisit (const Basic &x) |
void | bvisit (const Symbol &x) |
void | bvisit (const Integer &x) |
void | bvisit (const Rational &x) |
void | bvisit (const Complex &x) |
void | bvisit (const Interval &x) |
void | bvisit (const Complexes &x) |
void | bvisit (const Reals &x) |
void | bvisit (const Rationals &x) |
void | bvisit (const Integers &x) |
void | bvisit (const Naturals &x) |
void | bvisit (const Naturals0 &x) |
void | bvisit (const Piecewise &x) |
void | bvisit (const EmptySet &x) |
void | bvisit (const FiniteSet &x) |
void | bvisit (const UniversalSet &x) |
void | bvisit (const ConditionSet &x) |
void | bvisit (const Contains &x) |
void | bvisit (const BooleanAtom &x) |
void | bvisit (const And &x) |
void | bvisit (const Or &x) |
void | bvisit (const Xor &x) |
void | bvisit (const Not &x) |
void | bvisit (const Union &x) |
void | bvisit (const Intersection &x) |
void | bvisit (const Complement &x) |
void | bvisit (const ImageSet &x) |
void | bvisit (const Add &x) |
void | bvisit (const Mul &x) |
void | bvisit (const Pow &x) |
void | bvisit (const UIntPoly &x) |
void | bvisit (const MIntPoly &x) |
void | bvisit (const URatPoly &x) |
void | bvisit (const UExprPoly &x) |
void | bvisit (const MExprPoly &x) |
void | bvisit (const GaloisField &x) |
void | bvisit (const Infty &x) |
void | bvisit (const NaN &x) |
void | bvisit (const UnivariateSeries &x) |
void | bvisit (const Constant &x) |
void | bvisit (const Function &x) |
void | bvisit (const FunctionSymbol &x) |
void | bvisit (const Derivative &x) |
void | bvisit (const Subs &x) |
void | bvisit (const RealDouble &x) |
void | bvisit (const ComplexDouble &x) |
void | bvisit (const Equality &x) |
void | bvisit (const Unequality &x) |
void | bvisit (const LessThan &x) |
void | bvisit (const StrictLessThan &x) |
void | bvisit (const NumberWrapper &x) |
void | bvisit (const Tuple &x) |
void | bvisit (const IdentityMatrix &x) |
void | bvisit (const ZeroMatrix &x) |
std::string | apply (const RCP< const Basic > &b) |
std::string | apply (const vec_basic &v) |
std::string | apply (const Basic &b) |
Protected Member Functions | |
virtual std::string | print_mul () |
virtual bool | split_mul_coef () |
virtual void | _print_pow (std::ostringstream &o, const RCP< const Basic > &a, const RCP< const Basic > &b) |
virtual std::string | print_div (const std::string &num, const std::string &den, bool paren) |
virtual std::string | get_imag_symbol () |
virtual std::string | parenthesize (const std::string &expr) |
std::string | parenthesizeLT (const RCP< const Basic > &x, PrecedenceEnum precedenceEnum) |
std::string | parenthesizeLE (const RCP< const Basic > &x, PrecedenceEnum precedenceEnum) |
Protected Attributes | |
std::string | str_ |
Static Private Attributes | |
static const std::vector< std::string > | names_ |
Definition at line 106 of file strprinter.h.