utils.h File Reference

#include "../LRAModule/LRAModule.h"
#include <carl-arith/numbers/numbers.h>
#include <smtrat-common/smtrat-common.h>

Include dependency graph for utils.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::icp

Functions
std::vector< Poly >	smtrat::icp::getNonlinearMonomials (const Poly &_expr)
	Obtains the non-linear monomials of the given polynomial. More...
std::pair< ConstraintT, ConstraintT >	smtrat::icp::intervalToConstraint (const Poly &_lhs, const smtrat::DoubleInterval _interval)
	Creates a new constraint from an existing interval. More...
bool	smtrat::icp::intervalBoxContainsEmptyInterval (const EvalDoubleIntervalMap &_intervals)
	Checks mIntervals if it contains an empty interval. More...
const LRAModule< LRASettings1 >::LRAVariable *	smtrat::icp::getOriginalLraVar (carl::Variable::Arg _var, const LRAModule< LRASettings1 > &_lra)