heuristics_covering.h File Reference

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

Go to the source code of this file.

Data Structures
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::BIGGEST_CELL_COVERING >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::LDB_COVERING >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::LDB_COVERING_CACHE >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::LDB_COVERING_CACHE_GLOBAL >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::BIGGEST_CELL_COVERING_PDEL >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::BIGGEST_CELL_COVERING_FILTER >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::BIGGEST_CELL_COVERING_FILTER_ONLY_INDEPENDENT >
struct	smtrat::cadcells::representation::util::IntervalCompare< T >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::BIGGEST_CELL_COVERING_MIN_TDEG >
struct	smtrat::cadcells::representation::covering< CoveringHeuristic::CHAIN_COVERING >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::representation
	Heuristics for computing representations.
	smtrat::cadcells::representation::util

Typedefs
template<typename T >
using	smtrat::cadcells::representation::util::DerivationSet = boost::container::flat_set< datastructures::SampledDerivationRef< T >, IntervalCompare< T > >

Functions
template<typename T >
std::vector< datastructures::SampledDerivationRef< T > >	smtrat::cadcells::representation::compute_min_derivs (const std::vector< datastructures::SampledDerivationRef< T >> &derivs)
template<typename T >
datastructures::IndexedRootOrdering	smtrat::cadcells::representation::compute_default_ordering (const std::vector< datastructures::CellRepresentation< T >> &cells, bool enable_weak=false)
template<typename T >
bool	smtrat::cadcells::representation::util::is_covering (const DerivationSet< T > &set)