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

A DelineatedDerivation is a BaseDerivation with a Delineation and an underlying SampledDerivation. More...

#include <derivation.h>

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

Public Member Functions
	DelineatedDerivation (BaseDerivationRef< Properties > base)
	DelineatedDerivation (BaseDerivationRef< Properties > base, const Delineation &delineation)
BaseDerivationRef< Properties > &	base ()
const BaseDerivationRef< Properties > &	base () const
Delineation &	delin ()
const Assignment &	underlying_sample () const
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 DelineatedDerivation< Properties > &other)

Private Attributes
BaseDerivationRef< Properties >	m_base
Delineation	m_delineation

Detailed Description

template<typename Properties>
class smtrat::cadcells::datastructures::DelineatedDerivation< Properties >

A DelineatedDerivation is a BaseDerivation with a Delineation and an underlying SampledDerivation.

Template Parameters

Properties

Set of properties

Definition at line 219 of file derivation.h.

Constructor & Destructor Documentation

DelineatedDerivation() [1/2]

template<typename Properties >

smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::DelineatedDerivation ( BaseDerivationRef< Properties >  base )

inline

Definition at line 225 of file derivation.h.

Here is the call graph for this function:

DelineatedDerivation() [2/2]

template<typename Properties >

smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::DelineatedDerivation ( BaseDerivationRef< Properties >  base, const Delineation &  delineation  )

inline

Definition at line 229 of file derivation.h.

Here is the call graph for this function:

Member Function Documentation

base() [1/2]

template<typename Properties >

BaseDerivationRef<Properties>& smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::base ( )

inline

Definition at line 234 of file derivation.h.

Here is the caller graph for this function:

base() [2/2]

template<typename Properties >

const BaseDerivationRef<Properties>& smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::base ( ) const

inline

Definition at line 237 of file derivation.h.

contains()

template<typename Properties >

template<typename P >

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

inline

Definition at line 275 of file derivation.h.

delin()

template<typename Properties >

Delineation& smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::delin ( )

inline

Definition at line 241 of file derivation.h.

Here is the caller graph for this function:

insert()

template<typename Properties >

template<typename P >

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

inline

Definition at line 271 of file derivation.h.

Here is the caller graph for this function:

level()

template<typename Properties >

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

inline

Definition at line 267 of file derivation.h.

Here is the caller graph for this function:

main_var()

template<typename Properties >

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

inline

Definition at line 264 of file derivation.h.

Here is the caller graph for this function:

merge_with()

template<typename Properties >

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

inline

Definition at line 283 of file derivation.h.

Here is the call graph for this function:

polys()

template<typename Properties >

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

inline

Definition at line 258 of file derivation.h.

proj()

template<typename Properties >

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

inline

Definition at line 261 of file derivation.h.

Here is the caller graph for this function:

properties()

template<typename Properties >

template<typename P >

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

inline

Definition at line 279 of file derivation.h.

underlying() [1/2]

template<typename Properties >

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

inline

Definition at line 252 of file derivation.h.

Here is the caller graph for this function:

underlying() [2/2]

template<typename Properties >

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

inline

Definition at line 255 of file derivation.h.

underlying_sample()

template<typename Properties >

const Assignment& smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::underlying_sample ( ) const

inline

Definition at line 244 of file derivation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

m_base

template<typename Properties >

BaseDerivationRef<Properties> smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::m_base

private

Definition at line 220 of file derivation.h.

m_delineation

template<typename Properties >

Delineation smtrat::cadcells::datastructures::DelineatedDerivation< Properties >::m_delineation

private

Definition at line 221 of file derivation.h.

---

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

• smtrat-cadcells/datastructures/derivation.h