base_to_exponent_map() const | smats::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() const | smats::ExpressionMul< T > | inline |
constant_ | smats::ExpressionMul< T > | private |
differentiate(const Variable &x) const override | smats::ExpressionMul< T > | virtual |
display(std::ostream &os) const override | smats::ExpressionMul< T > | virtual |
display_term(std::ostream &os, bool print_mul, const Expression< T > &base, const Expression< T > &exponent) const | smats::ExpressionMul< T > | private |
equal_to(const ExpressionCell< T > &o) const override | smats::ExpressionMul< T > | virtual |
evaluate(const Environment< T > &env) const override | smats::ExpressionMul< T > | virtual |
evaluate_partial(const Environment< T > &env) const override | smats::ExpressionMul< T > | virtual |
expand() const override | smats::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 override | smats::ExpressionMul< T > | virtual |
invalidate_cache() | smats::ExpressionCell< T > | |
is_expanded() const | smats::ExpressionCell< T > | inline |
is_expanded_ | smats::ExpressionCell< T > | private |
is_polynomial() const | smats::ExpressionCell< T > | |
is_polynomial_ | smats::ExpressionCell< T > | mutableprivate |
kind() const | smats::ExpressionCell< T > | inline |
kind_ | smats::ExpressionCell< T > | private |
less(const ExpressionCell< T > &o) const override | smats::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 override | smats::ExpressionMul< T > | virtual |
to() const | smats::ExpressionCell< T > | inline |
to() | smats::ExpressionCell< T > | inline |
to_expression() const | smats::ExpressionCell< T > | inline |
use_count() const | smats::ExpressionCell< T > | inline |
variables() const | smats::ExpressionCell< T > | |
variables_ | smats::ExpressionCell< T > | mutableprivate |
~ExpressionCell()=default (defined in smats::ExpressionCell< T >) | smats::ExpressionCell< T > | virtual |