|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
|
|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
Public Types | |
| using | ExpressionMap = std::map<Expression<T>, T> |
Public Member Functions | |
| ExpressionAddFactory (T constant, ExpressionMap expr_to_coeff_map) | |
| ExpressionAddFactory (const Expression< T > &e) | |
| ExpressionAddFactory (const std::shared_ptr< const ExpressionCell< T > > &e) | |
| ExpressionAddFactory (const ExpressionCell< T > &e) | |
| ExpressionAddFactory< T > & | operator+= (const ExpressionAddFactory< T > &o) |
| ExpressionAddFactory< T > & | operator+= (const T &o) |
| ExpressionAddFactory< T > & | operator+= (const Expression< T > &o) |
| ExpressionAddFactory< T > & | operator+= (const std::shared_ptr< ExpressionCell< T > > &o) |
| ExpressionAddFactory< T > & | operator+= (const ExpressionCell< T > &o) |
| ExpressionAddFactory< T > & | add (const ExpressionAddFactory< T > &o) |
| ExpressionAddFactory< T > & | add (const T &o) |
| ExpressionAddFactory< T > & | add (const Expression< T > &o) |
| ExpressionAddFactory< T > & | add (const std::shared_ptr< ExpressionCell< T > > &o) |
| ExpressionAddFactory< T > & | add (const ExpressionCell< T > &o) |
| ExpressionAddFactory< T > & | add (const T &constant, const ExpressionMap &expr_to_coeff_map) |
| ExpressionAddFactory< T > & | add (const T &coeff, const Expression< T > &expr) |
| ExpressionAddFactory< T > & | negate () |
| Expression< T > | build () const |
| Expression< T > | consume () |
Private Attributes | |
| bool | consumed_ {false} |
| bool | is_expanded_ {false} |
| T | constant_ {0} |
| ExpressionMap | expr_to_coeff_map_ |
1.11.0