smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::BinaryExpressionCell< T > Member List

This is the complete list of members for smats::BinaryExpressionCell< T >, including all inherited members.

BinaryExpressionCell(ExpressionKind kind, Expression< T > e1, Expression< T > e2, bool is_expanded)smats::BinaryExpressionCell< T >protected
compute_is_polynomial(std::optional< bool > &is_polynomial) const override (defined in smats::BinaryExpressionCell< T >)smats::BinaryExpressionCell< T >protectedvirtual
compute_variables(std::optional< Variables > &variables) const override (defined in smats::BinaryExpressionCell< T >)smats::BinaryExpressionCell< T >protectedvirtual
differentiate(const Variable &x) const =0smats::ExpressionCell< T >pure virtual
display(std::ostream &os) const =0smats::ExpressionCell< T >pure virtual
do_evaluate(const T &v1, const T &v2) const =0smats::BinaryExpressionCell< T >protectedpure virtual
e1_smats::BinaryExpressionCell< T >private
e2_smats::BinaryExpressionCell< T >private
equal_to(const ExpressionCell< T > &o) const overridesmats::BinaryExpressionCell< T >virtual
evaluate(const Environment< T > &env) const overridesmats::BinaryExpressionCell< T >virtual
evaluate_partial(const Environment< T > &env) const =0smats::ExpressionCell< T >pure virtual
expand() const =0smats::ExpressionCell< T >pure virtual
ExpressionCell()=delete (defined in smats::ExpressionCell< T >)smats::ExpressionCell< T >
ExpressionCell(ExpressionKind kind, bool is_expanded)smats::ExpressionCell< T >protected
ExpressionCell(ExpressionKind kind, bool is_polynomial, bool is_expanded)smats::ExpressionCell< T >protected
hash(DelegatingHasher &hasher) const overridesmats::BinaryExpressionCell< T >virtual
invalidate_cache()smats::ExpressionCell< T >
is_expanded() constsmats::ExpressionCell< T >inline
is_expanded_smats::ExpressionCell< T >private
is_polynomial() constsmats::ExpressionCell< T >
is_polynomial_smats::ExpressionCell< T >mutableprivate
kind() constsmats::ExpressionCell< T >inline
kind_smats::ExpressionCell< T >private
less(const ExpressionCell< T > &o) const overridesmats::BinaryExpressionCell< T >virtual
lhs() constsmats::BinaryExpressionCell< T >inline
rhs() constsmats::BinaryExpressionCell< T >inline
set_expanded()smats::ExpressionCell< T >inline
substitute(const Substitution< T > &s) const =0smats::ExpressionCell< T >pure virtual
to() constsmats::ExpressionCell< T >inline
to()smats::ExpressionCell< T >inline
to_expression() constsmats::ExpressionCell< T >inline
use_count() constsmats::ExpressionCell< T >inline
variables() constsmats::ExpressionCell< T >
variables_smats::ExpressionCell< T >mutableprivate
~ExpressionCell()=default (defined in smats::ExpressionCell< T >)smats::ExpressionCell< T >virtual