types.h File Reference

#include <smtrat-common/smtrat-common.h>
#include <smtrat-cadcells/common.h>
#include <smtrat-cadcells/datastructures/delineation.h>
#include <smtrat-cadcells/datastructures/derivation.h>
#include <smtrat-cadcells/datastructures/polynomials.h>
#include <smtrat-cadcells/datastructures/projections.h>
#include <smtrat-cadcells/operators/operator_mccallum.h>
#include <smtrat-cadcells/operators/operator_mccallum_filtered.h>
#include <smtrat-cadcells/representation/heuristics.h>
#include <carl-formula/formula/functions/PNF.h>
#include <boost/container/flat_map.hpp>

Include dependency graph for types.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::covering_ng::IntervalCompare< PropertiesSet >
	Sorts interval by their lower bounds. More...
struct	smtrat::covering_ng::CoveringResult< PropertiesSet >
struct	smtrat::covering_ng::ParameterTree
class	smtrat::covering_ng::VariableQuantification

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

Typedefs
template<typename PropertiesSet >
using	smtrat::covering_ng::Interval = cadcells::datastructures::SampledDerivationRef< PropertiesSet >
template<typename PropertiesSet >
using	smtrat::covering_ng::IntervalSet = std::set< Interval< PropertiesSet >, IntervalCompare< PropertiesSet > >

Enumerations
enum class	smtrat::covering_ng::Status {   smtrat::covering_ng::SAT , smtrat::covering_ng::UNSAT , smtrat::covering_ng::FAILED_PROJECTION , smtrat::covering_ng::FAILED ,   smtrat::covering_ng::PARAMETER }

Functions
template<typename PropertiesSet >
std::ostream &	smtrat::covering_ng::operator<< (std::ostream &os, const CoveringResult< PropertiesSet > &result)
static std::ostream &	smtrat::covering_ng::operator<< (std::ostream &os, const ParameterTree &tree)
std::ostream &	smtrat::covering_ng::operator<< (std::ostream &os, const VariableQuantification &vq)