Simplification.h File Reference
#include "BasicConstraint.h"#include "../poly/umvpoly/functions/Definiteness.h"#include <carl-arith/core/Common.h>
Include dependency graph for Simplification.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
| carl::constraint | |
Functions | |
| template<typename Pol > | |
| BasicConstraint< Pol > | carl::constraint::init_bound (Variable var, Relation rel, const typename Pol::NumberType &bound) |
| template<typename Pol > | |
| BasicConstraint< Pol > | carl::constraint::init_constraint (const Pol &lhs, Relation rel) |
| template<typename Pol > | |
| void | carl::constraint::normalize_integer_inplace (BasicConstraint< Pol > &constraint) |
| template<typename Pol > | |
| unsigned | carl::constraint::is_consistent_definiteness (const BasicConstraint< Pol > &constraint, std::optional< Definiteness > lhs_definiteness=std::nullopt) |
| template<typename Pol > | |
| void | carl::constraint::normalize_consistency_inplace (BasicConstraint< Pol > &constraint, std::optional< Definiteness > lhs_definiteness=std::nullopt) |
| template<typename Pol > | |
| bool | carl::constraint::simplify_nonlinear_univariate_monomial_inplace (BasicConstraint< Pol > &constraint, std::optional< Definiteness > lhs_definiteness=std::nullopt) |
| template<typename Pol > | |
| bool | carl::constraint::simplify_integer_inplace (BasicConstraint< Pol > &constraint) |
| template<typename Pol > | |
| BasicConstraint< Pol > | carl::constraint::create_normalized_bound (Variable var, Relation rel, const typename Pol::NumberType &bound) |
| template<typename Pol > | |
| BasicConstraint< Pol > | carl::constraint::create_normalized_constraint (const Pol &lhs, Relation rel) |
Variables | |
| static constexpr bool | carl::constraint::FULL_EFFORT_FOR_DEFINITENESS_CHECK = false |
