ConstraintBounds.h File Reference

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.

Typedefs
template<typename Pol >
using	carl::ConstraintBounds = FastMap< Pol, std::map< typename Pol::NumberType, std::pair< Relation, Formula< Pol > >> >
	A map from formula pointers to a map of rationals to a pair of a constraint relation and a formula pointer. (internally used) More...

Functions
template<typename Pol >
Formula< Pol >	carl::addConstraintBound (ConstraintBounds< Pol > &_constraintBounds, const Formula< Pol > &_constraint, bool _inConjunction)
	Adds the bound to the bounds of the polynomial specified by this constraint. More...
template<typename Pol >
bool	carl::swapConstraintBounds (ConstraintBounds< Pol > &_constraintBounds, Formulas< Pol > &_intoFormulas, bool _inConjunction)
	Stores for every polynomial for which we determined bounds for given constraints a minimal set of constraints representing these bounds into the given set of sub-formulas of a conjunction (_inConjunction == true) or disjunction (_inConjunction == false) to construct. More...