CADElimination.h File Reference

#include "../QEQuery.h"
#include <smtrat-cad/utils/CADCore.h>
#include <smtrat-cad/Settings.h>
#include <smtrat-cad/lifting/LiftingTree.h>
#include <smtrat-cad/lifting/Sample.h>
#include <smtrat-cad/projection/Projection.h>
#include "CAD.h"
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-arith/core/Relation.h>
#include <carl-arith/core/Sign.h>
#include <carl-arith/poly/umvpoly/UnivariatePolynomial.h>
#include <carl-arith/poly/umvpoly/functions/Factorization.h>
#include <carl-formula/model/Model.h>
#include <carl-arith/ran/ran.h>
#include <algorithm>
#include <iostream>
#include <map>
#include <string>
#include <utility>
#include <vector>

Include dependency graph for CADElimination.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::qe::cad::CADSettings
class	smtrat::qe::cad::CADElimination

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