A SampledDerivation is a DelineatedDerivation with a sample and an DelineationInterval w.r.t. More...

#include <derivation.h>

Public Member Functions
	SampledDerivation (DelineatedDerivationRef< Properties > base, RAN main_sample)

DelineatedDerivationRef< Properties > &	delineated ()

const DelineatedDerivationRef< Properties > &	delineated () const

const DelineationInterval &	cell () const

void	delineate_cell ()
	Determines the cell w.r.t. More...

const Assignment &	sample () const

const RAN &	main_var_sample () const

BaseDerivationRef< Properties > &	base ()

const BaseDerivationRef< Properties > &	base () const

Delineation &	delin ()

const Assignment &	underlying_sample () const

DerivationRef< Properties > &	underlying ()

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 SampledDerivation< Properties > &other)

Private Attributes
DelineatedDerivationRef< Properties >	m_delineated

std::optional< DelineationInterval >	m_cell

Assignment	m_sample

Detailed Description

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

A SampledDerivation is a DelineatedDerivation with a sample and an DelineationInterval w.r.t.

to this sample.

Template Parameters

Properties Set of properties

Definition at line 299 of file derivation.h.

Constructor & Destructor Documentation

◆ SampledDerivation()

template<typename Properties >

smtrat::cadcells::datastructures::SampledDerivation< Properties >::SampledDerivation	(	DelineatedDerivationRef< Properties >	base,
		RAN	main_sample
	)

inline

Definition at line 307 of file derivation.h.

Member Function Documentation

◆ base() [1/2]

template<typename Properties >

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

inline

Definition at line 331 of file derivation.h.

◆ base() [2/2]

template<typename Properties >

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

inline

Definition at line 332 of file derivation.h.

◆ cell()

template<typename Properties >

const DelineationInterval& smtrat::cadcells::datastructures::SampledDerivation< Properties >::cell ( ) const

inline

Definition at line 317 of file derivation.h.

◆ contains()

template<typename Properties >

template<typename P >

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

inline

Definition at line 343 of file derivation.h.

Here is the caller graph for this function:

◆ delin()

template<typename Properties >

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

inline

Definition at line 333 of file derivation.h.

Here is the caller graph for this function:

◆ delineate_cell()

template<typename Properties >

void smtrat::cadcells::datastructures::SampledDerivation< Properties >::delineate_cell ( )

inline

Determines the cell w.r.t.

the delineation.

Definition at line 322 of file derivation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ delineated() [1/2]

template<typename Properties >

DelineatedDerivationRef<Properties>& smtrat::cadcells::datastructures::SampledDerivation< Properties >::delineated ( )

inline

Definition at line 314 of file derivation.h.

Here is the caller graph for this function:

◆ delineated() [2/2]

template<typename Properties >

const DelineatedDerivationRef<Properties>& smtrat::cadcells::datastructures::SampledDerivation< Properties >::delineated ( ) const

inline

Definition at line 315 of file derivation.h.

◆ insert()

template<typename Properties >

template<typename P >

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

inline

Definition at line 341 of file derivation.h.

Here is the caller graph for this function:

◆ level()

template<typename Properties >

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

inline

Definition at line 339 of file derivation.h.

Here is the caller graph for this function:

◆ main_var()

template<typename Properties >

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

inline

Definition at line 338 of file derivation.h.

◆ main_var_sample()

template<typename Properties >

const RAN& smtrat::cadcells::datastructures::SampledDerivation< Properties >::main_var_sample ( ) const

inline

Definition at line 329 of file derivation.h.

Here is the caller graph for this function:

◆ merge_with()

template<typename Properties >

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

inline

Definition at line 347 of file derivation.h.

Here is the call graph for this function:

◆ polys()

template<typename Properties >

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

inline

Definition at line 336 of file derivation.h.

◆ proj()

template<typename Properties >

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

inline

Definition at line 337 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::SampledDerivation< Properties >::properties ( ) const

inline

Definition at line 345 of file derivation.h.

Here is the caller graph for this function:

◆ sample()

template<typename Properties >

const Assignment& smtrat::cadcells::datastructures::SampledDerivation< Properties >::sample ( ) const

inline

Definition at line 328 of file derivation.h.

Here is the caller graph for this function:

◆ underlying()

template<typename Properties >

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

inline

Definition at line 335 of file derivation.h.

◆ underlying_sample()

template<typename Properties >

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

inline

Definition at line 334 of file derivation.h.

Here is the caller graph for this function:

Field Documentation

◆ m_cell

template<typename Properties >

std::optional<DelineationInterval> smtrat::cadcells::datastructures::SampledDerivation< Properties >::m_cell

private

Definition at line 301 of file derivation.h.

◆ m_delineated

template<typename Properties >

DelineatedDerivationRef<Properties> smtrat::cadcells::datastructures::SampledDerivation< Properties >::m_delineated

private

Definition at line 300 of file derivation.h.

◆ m_sample

template<typename Properties >

Assignment smtrat::cadcells::datastructures::SampledDerivation< Properties >::m_sample

private

Definition at line 302 of file derivation.h.

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

smtrat-cadcells/datastructures/derivation.h

Public Member Functions

Private Attributes

Detailed Description

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

Constructor & Destructor Documentation

◆ SampledDerivation()

Member Function Documentation

◆ base() [1/2]

◆ base() [2/2]

◆ cell()

◆ contains()

◆ delin()

◆ delineate_cell()

◆ delineated() [1/2]

◆ delineated() [2/2]

◆ insert()

◆ level()

◆ main_var()

◆ main_var_sample()

◆ merge_with()

◆ polys()

◆ proj()

◆ properties()

◆ sample()

◆ underlying()

◆ underlying_sample()

Field Documentation

◆ m_cell

◆ m_delineated

◆ m_sample

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