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

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

base_to_exponent_map() constsmats::ExpressionMul< T >inline
base_to_exponent_map_smats::ExpressionMul< T >private
compute_is_polynomial(std::optional< bool > &is_polynomial) const override (defined in smats::ExpressionMul< T >)smats::ExpressionMul< T >privatevirtual
compute_variables(std::optional< Variables > &variables) const override (defined in smats::ExpressionMul< T >)smats::ExpressionMul< T >privatevirtual
constant() constsmats::ExpressionMul< T >inline
constant_smats::ExpressionMul< T >private
differentiate(const Variable &x) const overridesmats::ExpressionMul< T >virtual
display(std::ostream &os) const overridesmats::ExpressionMul< T >virtual
display_term(std::ostream &os, bool print_mul, const Expression< T > &base, const Expression< T > &exponent) constsmats::ExpressionMul< T >private
equal_to(const ExpressionCell< T > &o) const overridesmats::ExpressionMul< T >virtual
evaluate(const Environment< T > &env) const overridesmats::ExpressionMul< T >virtual
evaluate_partial(const Environment< T > &env) const overridesmats::ExpressionMul< T >virtual
expand() const overridesmats::ExpressionMul< T >virtual
expression_kind (defined in smats::ExpressionMul< T >)smats::ExpressionMul< 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
ExpressionMap typedef (defined in smats::ExpressionMul< T >)smats::ExpressionMul< T >
extract_variables(const ExpressionMap &base_to_exponent_map) (defined in smats::ExpressionMul< T >)smats::ExpressionMul< T >privatestatic
hash(DelegatingHasher &) const overridesmats::ExpressionMul< 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::ExpressionMul< T >virtual
m_base_to_exponent_map()smats::ExpressionMul< T >
m_constant()smats::ExpressionMul< T >
NEW_OPERATOR_PARAMS(ExpressionMul, PARAMS(T constant, ExpressionMap expr_to_coeff_map), PARAMS(constant, expr_to_coeff_map)) (defined in smats::ExpressionMul< T >)smats::ExpressionMul< T >
set_expanded()smats::ExpressionCell< T >inline
substitute(const Substitution< T > &s) const overridesmats::ExpressionMul< T >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