smtrat::CSplitModule< Settings >::Expansion Struct Reference

Represents the quotients and remainders of a variable in a positional notation to the basis Settings::expansionBase. More...

Collaboration diagram for smtrat::CSplitModule< Settings >::Expansion:

Public Member Functions
	Expansion (const carl::Variable &rationalization)

Data Fields
const carl::Variable	mRationalization
	Original variable to which this expansion is dedicated to and its discrete substitute. More...
const carl::Variable	mDiscretization
Rational	mNucleus
	Center point of the domain where the search starts. More...
DomainSize	mMaximalDomainSize
	Size of the maximal domain. More...
RationalInterval	mMaximalDomain
	Maximal domain deduced from received constraints and the currently active domain. More...
RationalInterval	mActiveDomain
std::vector< carl::Variable >	mQuotients
	Sequences of quotients and remainders used for the virtual positional notation. More...
std::vector< carl::Variable >	mRemainders
std::vector< Purification * >	mPurifications
	Active purifications of monomials that contain the rationalization variable. More...
bool	mChangedBounds
	Flag that indicates whether the variable bounds changed since last check call. More...

Detailed Description

template<typename Settings>
struct smtrat::CSplitModule< Settings >::Expansion

Represents the quotients and remainders of a variable in a positional notation to the basis Settings::expansionBase.

Definition at line 64 of file CSplitModule.h.

Constructor & Destructor Documentation

Expansion()

template<typename Settings >

smtrat::CSplitModule< Settings >::Expansion::Expansion ( const carl::Variable &  rationalization )

inline

Definition at line 81 of file CSplitModule.h.

Field Documentation

mActiveDomain

template<typename Settings >

RationalInterval smtrat::CSplitModule< Settings >::Expansion::mActiveDomain

Definition at line 73 of file CSplitModule.h.

mChangedBounds

template<typename Settings >

bool smtrat::CSplitModule< Settings >::Expansion::mChangedBounds

Flag that indicates whether the variable bounds changed since last check call.

Definition at line 79 of file CSplitModule.h.

mDiscretization

template<typename Settings >

const carl::Variable smtrat::CSplitModule< Settings >::Expansion::mDiscretization

Definition at line 67 of file CSplitModule.h.

mMaximalDomain

template<typename Settings >

RationalInterval smtrat::CSplitModule< Settings >::Expansion::mMaximalDomain

Maximal domain deduced from received constraints and the currently active domain.

Definition at line 73 of file CSplitModule.h.

mMaximalDomainSize

template<typename Settings >

DomainSize smtrat::CSplitModule< Settings >::Expansion::mMaximalDomainSize

Size of the maximal domain.

Definition at line 71 of file CSplitModule.h.

mNucleus

template<typename Settings >

Rational smtrat::CSplitModule< Settings >::Expansion::mNucleus

Center point of the domain where the search starts.

Definition at line 69 of file CSplitModule.h.

mPurifications

template<typename Settings >

std::vector<Purification *> smtrat::CSplitModule< Settings >::Expansion::mPurifications

Active purifications of monomials that contain the rationalization variable.

Definition at line 77 of file CSplitModule.h.

mQuotients

template<typename Settings >

std::vector<carl::Variable> smtrat::CSplitModule< Settings >::Expansion::mQuotients

Sequences of quotients and remainders used for the virtual positional notation.

Definition at line 75 of file CSplitModule.h.

mRationalization

template<typename Settings >

const carl::Variable smtrat::CSplitModule< Settings >::Expansion::mRationalization

Original variable to which this expansion is dedicated to and its discrete substitute.

Definition at line 67 of file CSplitModule.h.

mRemainders

template<typename Settings >

std::vector<carl::Variable> smtrat::CSplitModule< Settings >::Expansion::mRemainders

Definition at line 75 of file CSplitModule.h.

---

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

• smtrat-modules/CSplitModule/CSplitModule.h