136 return std::max(i1, i2);
bool is_agressive() const
Whether agressive optimizations are on.
std::ostringstream os
The output stream: the corresponding C++ snippet to compile.
static type join(rat::identities i1, rat::identities i2)
identities(ids_t id=deflt)
A structure that implements the computation of join(V1, V2).
bool is_distributive() const
Whether distributive.
std::ostream & operator<<(std::ostream &o, type_t t)
Print a expression type.
identities meet(identities i1, identities i2)
bool is_linear() const
Whether linear.
Linear plus optimizations.
std::string to_string(identities i)
Wrapper around operator<<.
Strictly obey to the syntax.
Trivial, plus associativity of add and product.
bool operator!=(self_t that) const
Associative plus commutativity, and "idempotence" for add.
bool operator==(self_t that) const
Linear plus distribution. Used for series identities.
bool is_associative() const
Whether associative.
An expressionset can implement several different sets of identities on expressions.
std::istream & operator>>(std::istream &is, identities &i)
Read from string form.
bool operator<(self_t that) const