IntervalEvaluation.h File Reference

#include <carl-arith/core/Common.h>
#include "BasicConstraint.h"
#include <carl-arith/interval/Interval.h>
#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>
#include <boost/logic/tribool_io.hpp>

Include dependency graph for IntervalEvaluation.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Number , typename Poly >
boost::tribool	carl::evaluate (const BasicConstraint< Poly > &c, const Assignment< Interval< Number >> &map)
template<typename Pol >
static unsigned	carl::consistent_with (const BasicConstraint< Pol > &c, const Assignment< Interval< double >> &_solutionInterval)
	Checks whether this constraint is consistent with the given assignment from the its variables to interval domains. More...
template<typename Pol >
static unsigned	carl::consistent_with (const BasicConstraint< Pol > &c, const Assignment< Interval< double >> &_solutionInterval, Relation &_stricterRelation)
	Checks whether this constraint is consistent with the given assignment from the its variables to interval domains. More...