smtrat::ICPModule< Settings >::linearVariable Struct Reference

#include <ICPModule.h>

Data Fields
FormulaT	constraint
ConstraintT	origin

Detailed Description

template<class Settings>
struct smtrat::ICPModule< Settings >::linearVariable

Definition at line 62 of file ICPModule.h.

Field Documentation

constraint

template<class Settings >

FormulaT smtrat::ICPModule< Settings >::linearVariable::constraint

Definition at line 64 of file ICPModule.h.

origin

template<class Settings >

ConstraintT smtrat::ICPModule< Settings >::linearVariable::origin

Definition at line 65 of file ICPModule.h.

---

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

• smtrat-modules/ICPModule/ICPModule.h