5 #include "../poly/umvpoly/functions/Substitution.h"
9 template<typename Number, typename Poly, typename = std::enable_if_t<is_number_type<Number>::value>>
23 template<
typename Pol>
27 if (tmp.is_constant()) {
MultivariatePolynomial< Rational > Pol
carl is the main namespace for the library.
unsigned satisfied_by(const BasicConstraint< Pol > &c, const Assignment< typename Pol::NumberType > &_assignment)
Checks whether the given assignment satisfies this constraint.
bool is_zero(const Interval< Number > &i)
Check if this interval is a point-interval containing 0.
bool evaluate(const BasicConstraint< Poly > &c, const Assignment< Number > &m)
Coeff substitute(const Monomial &m, const std::map< Variable, Coeff > &substitutions)
Applies the given substitutions to a monomial.
std::map< Variable, T > Assignment
Represent a polynomial (in)equality against zero.
Relation relation() const