#include "rules_filter_util.h"

Include dependency graph for rules_filter.h:

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

Data Structures
struct	smtrat::cadcells::operators::rules::DelineateSettings

Namespaces
	smtrat
	Class to create the formulas for axioms.

	smtrat::cadcells
	A framework for sample-based CAD algorithms.

	smtrat::cadcells::operators
	Projection operators.

	smtrat::cadcells::operators::rules
	Implementation of derivation rules.

	smtrat::cadcells::operators::rules::ordering_util

Typedefs
using	smtrat::cadcells::operators::rules::ordering_util::Decomposition = boost::container::flat_map< std::pair< datastructures::PolyRef, datastructures::PolyRef >, std::vector< datastructures::IndexedRootRelation > >

Functions
void	smtrat::cadcells::operators::rules::ordering_util::add_to_decomposition (Decomposition &result, datastructures::PolyRef p1, datastructures::PolyRef p2, const datastructures::IndexedRootRelation &rel)

auto	smtrat::cadcells::operators::rules::ordering_util::decompose (const datastructures::IndexedRootOrdering &ordering)

template<typename P >
auto	smtrat::cadcells::operators::rules::ordering_util::has_intersection (datastructures::SampledDerivation< P > &deriv, const datastructures::IndexedRootOrdering &ordering)

template<typename P >
void	smtrat::cadcells::operators::rules::delineate_all_compound (datastructures::SampledDerivation< P > &deriv, const properties::root_ordering_holds &prop, bool enable_weak=true, bool enable_regular=true)

template<typename Settings , typename P >
void	smtrat::cadcells::operators::rules::delineate_all (datastructures::SampledDerivation< P > &deriv, const properties::root_ordering_holds &prop, bool enable_weak=true)

template<typename P >
void	smtrat::cadcells::operators::rules::delineate_bounds_only (datastructures::SampledDerivation< P > &deriv, const properties::root_ordering_holds &prop)

template<typename P >
void	smtrat::cadcells::operators::rules::delineate_noop (datastructures::SampledDerivation< P > &deriv, const properties::root_ordering_holds &prop)

template<typename P >
void	smtrat::cadcells::operators::rules::delineate_all_biggest_cell (datastructures::SampledDerivation< P > &deriv, const properties::root_ordering_holds &prop, bool enable_weak=true)

template<typename P >
void	smtrat::cadcells::operators::rules::delineate_compound_piecewiselinear (datastructures::SampledDerivation< P > &deriv, const properties::root_ordering_holds &prop, bool enable_weak=true)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_loc_del (datastructures::SampledDerivation< P > &deriv, const datastructures::SymbolicInterval &underlying_cell, const datastructures::IndexedRootOrdering &underlying_ordering, const boost::container::flat_set< datastructures::PolyRef > &ordering_polys, const datastructures::PolyRef poly)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_ord_inv_base (datastructures::SampledDerivation< P > &deriv, const datastructures::SymbolicInterval &cell, const datastructures::IndexedRootOrdering &, datastructures::PolyRef poly)

template<typename P >
bool	smtrat::cadcells::operators::rules::root_ordering_holds_delineated (datastructures::SampledDerivation< P > &deriv, const datastructures::SymbolicInterval &underlying_cell, const datastructures::IndexedRootOrdering &underlying_ordering, const boost::container::flat_set< datastructures::PolyRef > &ordering_polys, const datastructures::IndexedRootOrdering &ordering)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_irreducible_sgn_inv_filtered (datastructures::SampledDerivation< P > &, const datastructures::SymbolicInterval &, const datastructures::IndexedRootOrdering &, [[maybe_unused]] datastructures::PolyRef poly)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_irreducible_semi_sgn_inv_filtered (datastructures::SampledDerivation< P > &, const datastructures::SymbolicInterval &, const datastructures::IndexedRootOrdering &, [[maybe_unused]] datastructures::PolyRef poly)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_irreducible_nonzero_semi_sgn_inv (datastructures::DelineatedDerivation< P > &deriv, datastructures::PolyRef poly)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_irreducible_null_semi_sgn_inv (datastructures::SampledDerivation< P > &deriv, datastructures::PolyRef poly)

template<typename P >
void	smtrat::cadcells::operators::rules::poly_semi_sgn_inv (datastructures::SampledDerivation< P > &deriv, datastructures::PolyRef poly)

Data Structures

Namespaces

Typedefs

Functions