BinaryExpressionCell(ExpressionKind kind, Expression< T > e1, Expression< T > e2, bool is_expanded) | smats::BinaryExpressionCell< T > | protected |
check_domain(const T &v1, const T &v2) (defined in smats::ExpressionDiv< T >) | smats::ExpressionDiv< T > | static |
compute_is_polynomial(std::optional< bool > &is_polynomial) const override (defined in smats::BinaryExpressionCell< T >) | smats::BinaryExpressionCell< T > | protectedvirtual |
compute_variables(std::optional< Variables > &variables) const override (defined in smats::BinaryExpressionCell< T >) | smats::BinaryExpressionCell< T > | protectedvirtual |
differentiate(const Variable &x) const override | smats::ExpressionDiv< T > | virtual |
display(std::ostream &os) const override | smats::ExpressionDiv< T > | virtual |
do_evaluate(const T &v1, const T &v2) const override | smats::ExpressionDiv< T > | privatevirtual |
e1_ | smats::BinaryExpressionCell< T > | private |
e2_ | smats::BinaryExpressionCell< T > | private |
equal_to(const ExpressionCell< T > &o) const override | smats::BinaryExpressionCell< T > | virtual |
evaluate(const Environment< T > &env) const override | smats::BinaryExpressionCell< T > | virtual |
evaluate_partial(const Environment< T > &env) const override | smats::ExpressionDiv< T > | virtual |
expand() const override | smats::ExpressionDiv< T > | virtual |
expression_kind (defined in smats::ExpressionDiv< T >) | smats::ExpressionDiv< 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 override | smats::BinaryExpressionCell< 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::BinaryExpressionCell< T > | virtual |
lhs() const | smats::BinaryExpressionCell< T > | inline |
NEW_OPERATOR_PARAMS(ExpressionDiv, PARAMS(const Expression< T > &e1, const Expression< T > &e2), PARAMS(e1, e2)) (defined in smats::ExpressionDiv< T >) | smats::ExpressionDiv< T > | |
rhs() const | smats::BinaryExpressionCell< T > | inline |
set_expanded() | smats::ExpressionCell< T > | inline |
substitute(const Substitution< T > &s) const override | smats::ExpressionDiv< 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 |