26 return "distributive";
48 {
"binary",
"trivial"},
53 {
"series",
"distributive"},
58 while (is && isalnum(is.peek()))
74 return std::max(i1, i2);
std::istringstream is
The input stream: the specification to translate.
Traditional plus distribution. Used for series identities.
A mapping from strings to Values.
#define BUILTIN_UNREACHABLE()
Associative plus commutativity, and "idempotence" for sum.
std::ostream & operator<<(std::ostream &o, type_t t)
std::ostringstream os
The output stream: the corresponding C++ snippet to compile.
Strictly obey to the syntax.
Trivial, plus associativity of sum and product.
std::string to_string(identities i)
Wrapper around operator<<.
static identities ids(const driver &d)
Get the identities of the driver.
identities meet(identities i1, identities i2)
std::istream & operator>>(std::istream &is, identities &i)
Read from string form.
An expressionset can implement several different sets of identities on expressions.