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

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

compute_is_polynomial(std::optional< bool > &is_polynomial) const =0 (defined in smats::ExpressionCell< T >)smats::ExpressionCell< T >protectedpure virtual
compute_variables(std::optional< Variables > &variables) const =0 (defined in smats::ExpressionCell< T >)smats::ExpressionCell< T >protectedpure virtual
differentiate(const Variable &x) const =0smats::ExpressionCell< T >pure virtual
display(std::ostream &os) const =0smats::ExpressionCell< T >pure virtual
do_evaluate(T v) const =0smats::UnaryExpressionCell< T >protectedpure virtual
e_smats::UnaryExpressionCell< T >private
equal_to(const ExpressionCell< T > &o) const =0smats::ExpressionCell< T >pure virtual
evaluate(const Environment< T > &env) const =0smats::ExpressionCell< T >pure 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
get_argument() constsmats::UnaryExpressionCell< T >inline
hash(DelegatingHasher &) const =0smats::ExpressionCell< T >pure 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 =0smats::ExpressionCell< T >pure virtual
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
UnaryExpressionCell(ExpressionKind k, Expression< T > e, bool is_expanded)smats::UnaryExpressionCell< T >protected
UnaryExpressionCell(ExpressionKind k, Expression< T > e, bool is_polynomial, bool is_expanded)smats::UnaryExpressionCell< T >protected
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