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

Represents the class of all original constraints with the same left hand side after a normalization. More...

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

Public Member Functions
	Linearization (const Poly &normalization, Poly &&linearization, std::vector< Purification * > &&purifications, bool hasRealVariables)

Data Fields
const Poly	mNormalization
	Normalization of the original constraint to which this linearization is dedicated to. More...
const Poly	mLinearization
const std::vector< Purification * >	mPurifications
	Purifications of the original nonlinear monomials. More...
const bool	mHasRealVariables
	Flag that indicates whether the original constraint contains real variables. More...
std::unordered_set< carl::Relation >	mRelations
	Relations of constraints with the same left hand side. More...

Detailed Description

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

Represents the class of all original constraints with the same left hand side after a normalization.

Here, the set of all received relations of constraints with the same left hand side is stored.

Definition at line 101 of file CSplitModule.h.

Constructor & Destructor Documentation

Linearization()

template<typename Settings >

smtrat::CSplitModule< Settings >::Linearization::Linearization ( const Poly &  normalization, Poly &&  linearization, std::vector< Purification * > &&  purifications, bool  hasRealVariables  )

inline

Definition at line 112 of file CSplitModule.h.

Field Documentation

mHasRealVariables

template<typename Settings >

const bool smtrat::CSplitModule< Settings >::Linearization::mHasRealVariables

Flag that indicates whether the original constraint contains real variables.

Definition at line 108 of file CSplitModule.h.

mLinearization

template<typename Settings >

const Poly smtrat::CSplitModule< Settings >::Linearization::mLinearization

Definition at line 104 of file CSplitModule.h.

mNormalization

template<typename Settings >

const Poly smtrat::CSplitModule< Settings >::Linearization::mNormalization

Normalization of the original constraint to which this linearization is dedicated to.

Definition at line 104 of file CSplitModule.h.

mPurifications

template<typename Settings >

const std::vector<Purification *> smtrat::CSplitModule< Settings >::Linearization::mPurifications

Purifications of the original nonlinear monomials.

Definition at line 106 of file CSplitModule.h.

mRelations

template<typename Settings >

std::unordered_set<carl::Relation> smtrat::CSplitModule< Settings >::Linearization::mRelations

Relations of constraints with the same left hand side.

Definition at line 110 of file CSplitModule.h.

---

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

• smtrat-modules/CSplitModule/CSplitModule.h