heuristics_cell.h File Reference

#include "../operators/properties.h"
#include <carl-common/util/streamingOperators.h>

Include dependency graph for heuristics_cell.h:

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::cell< CellHeuristic::BIGGEST_CELL >
struct	smtrat::cadcells::representation::cell< CellHeuristic::BIGGEST_CELL_PDEL >
struct	smtrat::cadcells::representation::cell< CellHeuristic::BIGGEST_CELL_FILTER >
struct	smtrat::cadcells::representation::cell< CellHeuristic::BIGGEST_CELL_FILTER_ONLY_INDEPENDENT >
struct	smtrat::cadcells::representation::cell< CellHeuristic::CHAIN_EQ >
struct	smtrat::cadcells::representation::cell< CellHeuristic::LOWEST_DEGREE_BARRIERS_EQ >
struct	smtrat::cadcells::representation::cell< CellHeuristic::LOWEST_DEGREE_BARRIERS >
struct	smtrat::cadcells::representation::cell< CellHeuristic::LOWEST_DEGREE_BARRIERS_CACHE_GLOBAL >
struct	smtrat::cadcells::representation::cell< CellHeuristic::LOWEST_DEGREE_BARRIERS_PDEL >
struct	smtrat::cadcells::representation::cell< CellHeuristic::LOWEST_DEGREE_BARRIERS_FILTER >
struct	smtrat::cadcells::representation::cell< CellHeuristic::LOWEST_DEGREE_BARRIERS_FILTER_ONLY_INDEPENDENT >

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.

Enumerations
enum class	smtrat::cadcells::representation::LocalDelMode { smtrat::cadcells::representation::NONE , smtrat::cadcells::representation::ALL , smtrat::cadcells::representation::ONLY_INDEPENDENT , smtrat::cadcells::representation::SIMPLIFY }

Functions
template<typename T >
void	smtrat::cadcells::representation::handle_section_all_equational (const datastructures::Delineation &delin, datastructures::CellRepresentation< T > &response)
template<typename T >
void	smtrat::cadcells::representation::handle_connectedness (datastructures::SampledDerivationRef< T > &der, datastructures::CellRepresentation< T > &response, bool enable_weak=false)
boost::container::flat_map< datastructures::PolyRef, datastructures::IndexedRoot >	smtrat::cadcells::representation::roots_below (const datastructures::Delineation &delin, const datastructures::DelineationInterval &interval, bool closest)
boost::container::flat_map< datastructures::PolyRef, datastructures::IndexedRoot >	smtrat::cadcells::representation::roots_above (const datastructures::Delineation &delin, const datastructures::DelineationInterval &interval, bool closest)
template<typename T >
void	smtrat::cadcells::representation::handle_projective_ordering (datastructures::SampledDerivationRef< T > &der, datastructures::CellRepresentation< T > &response)
template<typename T >
void	smtrat::cadcells::representation::handle_ordering_polys (datastructures::SampledDerivationRef< T > &der, datastructures::CellRepresentation< T > &response)
template<typename T >
void	smtrat::cadcells::representation::handle_cell_reduction (datastructures::Delineation &reduced_delineation, datastructures::DelineationInterval &reduced_cell, datastructures::CellRepresentation< T > &response)
template<typename T >
void	smtrat::cadcells::representation::handle_local_del (datastructures::SampledDerivationRef< T > &der, datastructures::Delineation &reduced_delineation, datastructures::CellRepresentation< T > &response)
void	smtrat::cadcells::representation::handle_local_del_simplify_all (datastructures::Delineation &reduced_delineation)
void	smtrat::cadcells::representation::handle_local_del_simplify_non_independent (datastructures::Delineation &reduced_delineation)
template<typename T >
datastructures::CellRepresentation< T >	smtrat::cadcells::representation::compute_cell_biggest_cell (datastructures::SampledDerivationRef< T > &der, LocalDelMode ldel_mode=LocalDelMode::NONE, bool enable_weak=false)
template<typename T >
datastructures::CellRepresentation< T >	smtrat::cadcells::representation::compute_cell_lowest_degree_barriers (datastructures::SampledDerivationRef< T > &der, LocalDelMode ldel_mode=LocalDelMode::NONE, bool enable_weak=false, bool use_global_cache=false, datastructures::IndexedRootOrdering global_ordering=datastructures::IndexedRootOrdering())