compute_is_polynomial(std::optional< bool > &is_polynomial) const override (defined in smats::ExpressionAdd< T >) | smats::ExpressionAdd< T > | privatevirtual |
compute_variables(std::optional< Variables > &variables) const override (defined in smats::ExpressionAdd< T >) | smats::ExpressionAdd< T > | privatevirtual |
constant() const | smats::ExpressionAdd< T > | inline |
constant_ | smats::ExpressionAdd< T > | private |
differentiate(const Variable &x) const override | smats::ExpressionAdd< T > | virtual |
display(std::ostream &os) const override | smats::ExpressionAdd< T > | virtual |
display_term(std::ostream &os, bool print_plus, const T &coeff, const Expression< T > &term) const | smats::ExpressionAdd< T > | private |
equal_to(const ExpressionCell< T > &o) const override | smats::ExpressionAdd< T > | virtual |
evaluate(const Environment< T > &env) const override | smats::ExpressionAdd< T > | virtual |
evaluate_partial(const Environment< T > &env) const override | smats::ExpressionAdd< T > | virtual |
expand() const override | smats::ExpressionAdd< T > | virtual |
expr_to_coeff_map() const | smats::ExpressionAdd< T > | inline |
expr_to_coeff_map_ | smats::ExpressionAdd< T > | private |
expression_kind (defined in smats::ExpressionAdd< T >) | smats::ExpressionAdd< 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::ExpressionAdd< T >) | smats::ExpressionAdd< T > | |
extract_variables(const ExpressionMap &expr_to_coeff_map) (defined in smats::ExpressionAdd< T >) | smats::ExpressionAdd< T > | privatestatic |
hash(DelegatingHasher &) const override | smats::ExpressionAdd< 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::ExpressionAdd< T > | virtual |
m_constant() | smats::ExpressionAdd< T > | |
m_expr_to_coeff_map() | smats::ExpressionAdd< T > | |
NEW_OPERATOR_PARAMS(ExpressionAdd, PARAMS(T constant, ExpressionMap expr_to_coeff_map), PARAMS(constant, expr_to_coeff_map)) (defined in smats::ExpressionAdd< T >) | smats::ExpressionAdd< T > | |
set_expanded() | smats::ExpressionCell< T > | inline |
substitute(const Substitution< T > &s) const override | smats::ExpressionAdd< 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 |