unsat_intervals.h File Reference

#include <vector>

Include dependency graph for unsat_intervals.h:

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

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::algorithms
	Various algorithms as well as helper functions for developing new algorithms.

Functions
template<typename op >
std::vector< datastructures::SampledDerivationRef< typename op::PropertiesSet > >	smtrat::cadcells::algorithms::get_unsat_intervals (const Constraint &c, datastructures::Projections &proj, const Assignment &sample)
template<typename op >
std::vector< datastructures::SampledDerivationRef< typename op::PropertiesSet > >	smtrat::cadcells::algorithms::get_unsat_intervals (const VariableComparison &c, datastructures::Projections &proj, const Assignment &sample)
template<typename op >
std::vector< datastructures::SampledDerivationRef< typename op::PropertiesSet > >	smtrat::cadcells::algorithms::get_unsat_intervals (const Atom &c, datastructures::Projections &proj, const Assignment &sample)
	Returns the unsat intervals of the given atom w.r.t. More...