smtrat::cadcells::datastructures::BaseDerivation< Properties > Class Template Reference

A BaseDerivation has a level and a set of properties of this level, and an underlying derivation representing the lower levels. More...

#include <derivation.h>

Collaboration diagram for smtrat::cadcells::datastructures::BaseDerivation< Properties >:

Public Member Functions
	BaseDerivation (Projections &projections, DerivationRef< Properties > underlying, size_t level)
	BaseDerivation (const BaseDerivation &other)
DerivationRef< Properties > &	underlying ()
const DerivationRef< Properties > &	underlying () const
PolyPool &	polys ()
Projections &	proj ()
carl::Variable	main_var () const
size_t	level () const
template<typename P >
void	insert (P property)
template<typename P >
bool	contains (const P &property) const
template<typename P >
const PropertiesTSet< P > &	properties () const
void	merge_with (const BaseDerivation< Properties > &other)

Private Attributes
DerivationRef< Properties >	m_underlying
Projections &	m_projections
size_t	m_level
Properties	m_properties

Friends
template<typename P >
void	merge_underlying (std::vector< SampledDerivationRef< P >> &derivations)

Detailed Description

template<typename Properties>
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.

Template Parameters

Properties

Set of properties (from the operator)

Definition at line 147 of file derivation.h.

Constructor & Destructor Documentation

BaseDerivation() [1/2]

template<typename Properties >

smtrat::cadcells::datastructures::BaseDerivation< Properties >::BaseDerivation ( Projections &  projections, DerivationRef< Properties >  underlying, size_t  level  )

inline

Definition at line 159 of file derivation.h.

Here is the call graph for this function:

BaseDerivation() [2/2]

template<typename Properties >

smtrat::cadcells::datastructures::BaseDerivation< Properties >::BaseDerivation ( const BaseDerivation< Properties > &  other )

inline

Definition at line 162 of file derivation.h.

Member Function Documentation

contains()

template<typename Properties >

template<typename P >

bool smtrat::cadcells::datastructures::BaseDerivation< Properties >::contains ( const P &  property ) const

inline

Definition at line 189 of file derivation.h.

insert()

template<typename Properties >

template<typename P >

void smtrat::cadcells::datastructures::BaseDerivation< Properties >::insert ( P  property )

inline

Definition at line 176 of file derivation.h.

level()

template<typename Properties >

size_t smtrat::cadcells::datastructures::BaseDerivation< Properties >::level ( ) const

inline

Definition at line 173 of file derivation.h.

Here is the caller graph for this function:

main_var()

template<typename Properties >

carl::Variable smtrat::cadcells::datastructures::BaseDerivation< Properties >::main_var ( ) const

inline

Definition at line 169 of file derivation.h.

Here is the call graph for this function:

merge_with()

template<typename Properties >

void smtrat::cadcells::datastructures::BaseDerivation< Properties >::merge_with ( const BaseDerivation< Properties > &  other )

inline

Definition at line 204 of file derivation.h.

Here is the call graph for this function:

polys()

template<typename Properties >

PolyPool& smtrat::cadcells::datastructures::BaseDerivation< Properties >::polys ( )

inline

Definition at line 167 of file derivation.h.

Here is the call graph for this function:

proj()

template<typename Properties >

Projections& smtrat::cadcells::datastructures::BaseDerivation< Properties >::proj ( )

inline

Definition at line 168 of file derivation.h.

properties()

template<typename Properties >

template<typename P >

const PropertiesTSet<P>& smtrat::cadcells::datastructures::BaseDerivation< Properties >::properties ( ) const

inline

Definition at line 200 of file derivation.h.

underlying() [1/2]

template<typename Properties >

DerivationRef<Properties>& smtrat::cadcells::datastructures::BaseDerivation< Properties >::underlying ( )

inline

Definition at line 164 of file derivation.h.

underlying() [2/2]

template<typename Properties >

const DerivationRef<Properties>& smtrat::cadcells::datastructures::BaseDerivation< Properties >::underlying ( ) const

inline

Definition at line 165 of file derivation.h.

Friends And Related Function Documentation

merge_underlying

template<typename Properties >

template<typename P >

void merge_underlying ( std::vector< SampledDerivationRef< P >> &  derivations )

friend

Field Documentation

m_level

template<typename Properties >

size_t smtrat::cadcells::datastructures::BaseDerivation< Properties >::m_level

private

Definition at line 154 of file derivation.h.

m_projections

template<typename Properties >

Projections& smtrat::cadcells::datastructures::BaseDerivation< Properties >::m_projections

private

Definition at line 152 of file derivation.h.

m_properties

template<typename Properties >

Properties smtrat::cadcells::datastructures::BaseDerivation< Properties >::m_properties

private

Definition at line 155 of file derivation.h.

m_underlying

template<typename Properties >

DerivationRef<Properties> smtrat::cadcells::datastructures::BaseDerivation< Properties >::m_underlying

private

Definition at line 151 of file derivation.h.

---

The documentation for this class was generated from the following file:

• smtrat-cadcells/datastructures/derivation.h