|
Expression | Expand () override |
| Expands out products and positive integer powers in expression.
|
|
Expression | Substitute (const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) override |
| Returns an Expression obtained by replacing all occurrences of the variables in s in the current expression cell with the corresponding expressions in s .
|
|
Expression | Differentiate (const Variable &x) const override |
| Differentiates this symbolic expression with respect to the variable var .
|
|
std::ostream & | Display (std::ostream &os) const override |
| Outputs string representation of expression into output stream os .
|
|
bool | EqualTo (const ExpressionCell &e) const override |
| Checks structural equality.
|
|
bool | Less (const ExpressionCell &e) const override |
| Provides lexicographical ordering between expressions.
|
|
mpq_class | Evaluate (const Environment &env) const override |
| Evaluates under a given environment (by default, an empty environment).
|
|
const Expression & | get_argument () const |
| Returns the argument.
|
|
| UnaryExpressionCell (const UnaryExpressionCell &e)=delete |
| Copy-constructs from an lvalue.
|
|
| UnaryExpressionCell ()=delete |
| Default constructor (DELETED).
|
|
UnaryExpressionCell & | operator= (UnaryExpressionCell &&e)=delete |
| Move-assigns (DELETED).
|
|
UnaryExpressionCell & | operator= (const UnaryExpressionCell &e)=delete |
| Copy-assigns (DELETED).
|
|
| UnaryExpressionCell (UnaryExpressionCell &&e)=delete |
| Move-constructs from an rvalue.
|
|
| ~UnaryExpressionCell () override=default |
| Default destructor.
|
|
ExpressionKind | get_kind () const |
| Returns expression kind.
|
|
size_t | get_hash () const |
| Returns hash value.
|
|
const Variables & | GetVariables () const |
| Collects variables in expression.
|
|
bool | is_polynomial () const |
| Checks if this symbolic expression is convertible to Polynomial.
|
|
bool | include_ite () const |
| Returns true if this symbolic expression includes an ITE (If-Then-Else) expression.
|
|
unsigned | use_count () const |
| Returns the reference count of this cell.
|
|
| ExpressionCell (const ExpressionCell &e)=delete |
| Copy-constructs an ExpressionCell from an lvalue.
|
|
| ExpressionCell (ExpressionCell &&e)=delete |
| Move-constructs an ExpressionCell from an rvalue.
|
|
ExpressionCell & | operator= (ExpressionCell &&e)=delete |
| Move-assigns (DELETED).
|
|
ExpressionCell & | operator= (const ExpressionCell &e)=delete |
| Copy-assigns (DELETED).
|
|
virtual void | UpdateHash () |
| Update the cached hash value.
|
|
|
| UnaryExpressionCell (ExpressionKind k, const Expression &e, bool is_poly) |
| Constructs UnaryExpressionCell of kind k with hash , e , is_poly .
|
|
| ExpressionCell (ExpressionKind k) |
| Constructs ExpressionCell of kind k .
|
|
| ExpressionCell (ExpressionKind k, bool is_poly) |
| Constructs ExpressionCell of kind k with hash , is_poly , and include_ite .
|
|
| ExpressionCell (ExpressionKind k, bool is_poly, bool include_ite) |
| Constructs ExpressionCell of kind k with hash , is_poly , and include_ite .
|
|
| ExpressionCell (ExpressionKind k, bool is_poly, bool include_ite, Variables variables) |
| Constructs ExpressionCell of kind k with hash , is_poly , and include_ite .
|
|
| ExpressionCell (ExpressionKind k, bool is_poly, bool include_ite, Variables variables, size_t hash) |
| Constructs ExpressionCell of kind k with hash , is_poly , and include_ite .
|
|
virtual | ~ExpressionCell ()=default |
| Default destructor.
|
|
Expression | GetExpression () |
| Returns an expression pointing to this ExpressionCell.
|
|
Symbolic expression representing hyperbolic sine function.
Definition at line 768 of file symbolic_expression_cell.h.