CADConstraints.h File Reference

#include <algorithm>
#include <map>
#include <set>
#include <vector>
#include <stack>
#include <smtrat-variablebounds/VariableBounds.h>
#include "../common.h"
#include "../Settings.h"
#include "../debug/DotHelper.h"
#include <carl-arith/constraint/IntervalEvaluation.h>

Include dependency graph for CADConstraints.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::cad::CADConstraints< BT >
struct	smtrat::cad::CADConstraints< BT >::ConstraintComparator

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

Functions
template<Backtracking BT>
std::ostream &	smtrat::cad::operator<< (std::ostream &os, const CADConstraints< BT > &cc)