Contractor.h File Reference

#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-arith/core/Variables.h>
#include <carl-arith/constraint/BasicConstraint.h>
#include <carl-arith/interval/Interval.h>
#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>
#include <carl-arith/interval/SetTheory.h>
#include <algorithm>

Include dependency graph for Contractor.h:

Go to the source code of this file.

Data Structures
class	carl::contractor::Evaluation< Polynomial >
	Represents a contraction operation of the form. More...
class	carl::contractor::Contractor< Origin, Polynomial, Number >

Namespaces
	carl
	carl is the main namespace for the library.
	carl::contractor

Functions
template<typename Polynomial >
std::ostream &	carl::contractor::operator<< (std::ostream &os, const Evaluation< Polynomial > &e)