smtrat::STropModule< Settings >::SeparatorGroup Struct Reference

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

Collaboration diagram for smtrat::STropModule< Settings >::SeparatorGroup:

Public Member Functions
	SeparatorGroup (const Poly &normalization)

Data Fields
subtropical::Separator	mSeparator
	The hyperplane encoding. More...
std::set< carl::Relation >	mRelations
	Relations of constraints with the same left hand side. More...
std::optional< subtropical::Direction >	mActiveDirection
	Direction currently used for linearization. More...
bool	mEquationInduced
	Check if relations induce an equational constraint. More...
FormulaT	mActiveFormula
	Active formula. More...

Detailed Description

template<typename Settings>
struct smtrat::STropModule< Settings >::SeparatorGroup

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. At any one time only one relation can be active and used for linearization.

Definition at line 35 of file STropModule.h.

Constructor & Destructor Documentation

SeparatorGroup()

template<typename Settings >

smtrat::STropModule< Settings >::SeparatorGroup::SeparatorGroup ( const Poly &  normalization )

inline

Definition at line 47 of file STropModule.h.

Field Documentation

mActiveDirection

template<typename Settings >

std::optional<subtropical::Direction> smtrat::STropModule< Settings >::SeparatorGroup::mActiveDirection

Direction currently used for linearization.

Definition at line 41 of file STropModule.h.

mActiveFormula

template<typename Settings >

FormulaT smtrat::STropModule< Settings >::SeparatorGroup::mActiveFormula

Active formula.

Definition at line 45 of file STropModule.h.

mEquationInduced

template<typename Settings >

bool smtrat::STropModule< Settings >::SeparatorGroup::mEquationInduced

Check if relations induce an equational constraint.

Definition at line 43 of file STropModule.h.

mRelations

template<typename Settings >

std::set<carl::Relation> smtrat::STropModule< Settings >::SeparatorGroup::mRelations

Relations of constraints with the same left hand side.

Definition at line 39 of file STropModule.h.

mSeparator

template<typename Settings >

subtropical::Separator smtrat::STropModule< Settings >::SeparatorGroup::mSeparator

The hyperplane encoding.

Definition at line 37 of file STropModule.h.

---

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

• smtrat-modules/STropModule/STropModule.h