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

Represents the substitution variables of a nonlinear monomial in a positional notation to the basis Settings::expansionBase. More...

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

Public Member Functions
	Purification ()

Data Fields
std::vector< carl::Variable >	mSubstitutions
	Variable sequence used for the virtual positional notation. More...
carl::Variable	mReduction
	Variable that is eliminated from the monomial during reduction. More...
size_t	mUsage
	Number of active constraints in which the monomial is included. More...
bool	mActive
	Flag that indicates whether this purification is used for linearization. More...

Detailed Description

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

Represents the substitution variables of a nonlinear monomial in a positional notation to the basis Settings::expansionBase.

Definition at line 30 of file CSplitModule.h.

Constructor & Destructor Documentation

Purification()

template<typename Settings >

smtrat::CSplitModule< Settings >::Purification::Purification ( )

inline

Definition at line 41 of file CSplitModule.h.

Field Documentation

mActive

template<typename Settings >

bool smtrat::CSplitModule< Settings >::Purification::mActive

Flag that indicates whether this purification is used for linearization.

Definition at line 39 of file CSplitModule.h.

mReduction

template<typename Settings >

carl::Variable smtrat::CSplitModule< Settings >::Purification::mReduction

Variable that is eliminated from the monomial during reduction.

Definition at line 35 of file CSplitModule.h.

mSubstitutions

template<typename Settings >

std::vector<carl::Variable> smtrat::CSplitModule< Settings >::Purification::mSubstitutions

Variable sequence used for the virtual positional notation.

Definition at line 33 of file CSplitModule.h.

mUsage

template<typename Settings >

size_t smtrat::CSplitModule< Settings >::Purification::mUsage

Number of active constraints in which the monomial is included.

Definition at line 37 of file CSplitModule.h.

---

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

• smtrat-modules/CSplitModule/CSplitModule.h