Contraction.h File Reference

#include <carl-arith/interval/Interval.h>
#include <carl-arith/interval/SetTheory.h>
#include <carl-arith/core/Sign.h>
#include <carl-arith/poly/umvpoly/functions/horner/MultivariateHorner.h>
#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>
#include <algorithm>

Include dependency graph for Contraction.h:

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

Go to the source code of this file.

Data Structures
class	carl::VarSolutionFormula< Polynomial >
class	carl::Contraction< Operator, Polynomial >
class	carl::SimpleNewton< Polynomial >

Namespaces
	carl
	carl is the main namespace for the library.