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

#include <Subtropical.h>

Collaboration diagram for smtrat::subtropical::Separator:

[legend]

Public Member Functions
	Separator (const Poly &normalization)

Data Fields
const carl::Variable	bias
	Bias variable of the separating hyperplane. More...

const std::vector< Vertex >	vertices
	Vertices for all terms of the normalized left hand side. More...

Detailed Description

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 86 of file Subtropical.h.

Constructor & Destructor Documentation

◆ Separator()

smtrat::subtropical::Separator::Separator ( const Poly & normalization )

inline

Definition at line 92 of file Subtropical.h.

Field Documentation

◆ bias

const carl::Variable smtrat::subtropical::Separator::bias

Bias variable of the separating hyperplane.

Definition at line 88 of file Subtropical.h.

◆ vertices

const std::vector<Vertex> smtrat::subtropical::Separator::vertices

Vertices for all terms of the normalized left hand side.

Definition at line 90 of file Subtropical.h.

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

smtrat-modules/STropModule/Subtropical.h