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

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

compute_is_polynomial(std::optional< bool > &is_polynomial) const override (defined in smats::ExpressionVar< T >)smats::ExpressionVar< T >privatevirtual
compute_variables(std::optional< Variables > &variables) const override (defined in smats::ExpressionVar< T >)smats::ExpressionVar< T >privatevirtual
differentiate(const Variable &x) const overridesmats::ExpressionVar< T >virtual
display(std::ostream &os) const overridesmats::ExpressionVar< T >virtual
equal_to(const ExpressionCell< T > &o) const overridesmats::ExpressionVar< T >virtual
evaluate(const Environment< T > &env) const overridesmats::ExpressionVar< T >virtual
evaluate_partial(const Environment< T > &env) const overridesmats::ExpressionVar< T >virtual
expand() const overridesmats::ExpressionVar< T >virtual
expression_kind (defined in smats::ExpressionVar< T >)smats::ExpressionVar< T >static
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::ExpressionVar< 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::ExpressionVar< T >virtual
NEW_OPERATOR_PARAMS(ExpressionVar, Variable v, v) (defined in smats::ExpressionVar< T >)smats::ExpressionVar< T >
set_expanded()smats::ExpressionCell< T >inline
substitute(const Substitution< T > &s) const overridesmats::ExpressionVar< T >virtual
to() constsmats::ExpressionCell< T >inline
to()smats::ExpressionCell< T >inline
to_expression() constsmats::ExpressionCell< T >inline
use_count() constsmats::ExpressionCell< T >inline
var_smats::ExpressionVar< T >private
variable() constsmats::ExpressionVar< T >inline
variables() constsmats::ExpressionCell< T >
variables_smats::ExpressionCell< T >mutableprivate
~ExpressionCell()=default (defined in smats::ExpressionCell< T >)smats::ExpressionCell< T >virtual