smtrat::subtropical::Moment Struct Reference

Represents the normal vector component and the sign variable assigned to a variable in an original constraint. More...

#include <Subtropical.h>

Public Member Functions
	Moment ()

Data Fields
const carl::Variable	normal_vector
	Normal vector component of the separating hyperplane. More...
const carl::Variable	sign_variant
	Boolean variable representing the sign variant. More...

Detailed Description

Represents the normal vector component and the sign variable assigned to a variable in an original constraint.

Definition at line 21 of file Subtropical.h.

Constructor & Destructor Documentation

Moment()

smtrat::subtropical::Moment::Moment ( )

inline

Definition at line 27 of file Subtropical.h.

Field Documentation

normal_vector

const carl::Variable smtrat::subtropical::Moment::normal_vector

Normal vector component of the separating hyperplane.

Definition at line 23 of file Subtropical.h.

sign_variant

const carl::Variable smtrat::subtropical::Moment::sign_variant

Boolean variable representing the sign variant.

Definition at line 25 of file Subtropical.h.

---

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

• smtrat-modules/STropModule/Subtropical.h