derivation.h File Reference

#include "../common.h"
#include "delineation.h"
#include "polynomials.h"
#include "projections.h"
#include "properties.h"

Include dependency graph for derivation.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::cadcells::datastructures::DerivationRef< Properties >
	A reference to a derivation, which is either. More...
class	smtrat::cadcells::datastructures::BaseDerivation< Properties >
	A BaseDerivation has a level and a set of properties of this level, and an underlying derivation representing the lower levels. More...
class	smtrat::cadcells::datastructures::DelineatedDerivation< Properties >
	A DelineatedDerivation is a BaseDerivation with a Delineation and an underlying SampledDerivation. More...
class	smtrat::cadcells::datastructures::SampledDerivation< Properties >
	A SampledDerivation is a DelineatedDerivation with a sample and an DelineationInterval w.r.t. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::datastructures
	Main datastructures.

Typedefs
template<typename Properties >
using	smtrat::cadcells::datastructures::BaseDerivationRef = std::shared_ptr< BaseDerivation< Properties > >
template<typename Properties >
using	smtrat::cadcells::datastructures::DelineatedDerivationRef = std::shared_ptr< DelineatedDerivation< Properties > >
template<typename Properties >
using	smtrat::cadcells::datastructures::SampledDerivationRef = std::shared_ptr< SampledDerivation< Properties > >

Functions
template<typename P >
bool	smtrat::cadcells::datastructures::operator== (const DerivationRef< P > &lhs, const DerivationRef< P > &rhs)
template<typename P >
bool	smtrat::cadcells::datastructures::operator< (const DerivationRef< P > &lhs, const DerivationRef< P > &rhs)
template<typename Properties >
DerivationRef< Properties >	smtrat::cadcells::datastructures::make_derivation (Projections &proj, const Assignment &assignment, size_t level)
	Initializes a derivation according the the given assignment and level. More...
template<typename Properties >
SampledDerivationRef< Properties >	smtrat::cadcells::datastructures::make_sampled_derivation (DelineatedDerivationRef< Properties > delineated, const RAN &main_sample)
	Initializes a sampled derivation w.r.t. More...
template<typename Properties >
SampledDerivationRef< Properties >	smtrat::cadcells::datastructures::make_sampled_derivation (SampledDerivationRef< Properties > underlying, const RAN &main_sample)
	Initializes a sampled derivation w.r.t. More...
template<typename Properties >
void	smtrat::cadcells::datastructures::merge_underlying (std::vector< SampledDerivationRef< Properties >> &derivations)
	Merges the underlying derivations of a set of sampled derivations. More...
template<typename Properties >
SampledDerivationRef< Properties >	smtrat::cadcells::datastructures::merge (std::vector< SampledDerivationRef< Properties >> &derivations)
	Merges a set of sampled derivations. More...