dlinear::BoundImplicator::Constraint Struct Reference

Constraint. More...

Public Attributes
mpq_class	value
	Value of the constraint.
LpRowSense	row_sense
	Type of the constraint (e.g. <=, <, =, >, >=)
const Variable *	variable
	Boolean variable encoding the constraint.

Detailed Description

Constraint.

It is a tuple of value, row_sense and boolean variable

Definition at line 53 of file BoundImplicator.h.

---

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

• dlinear/solver/BoundImplicator.h
• dlinear/solver/BoundImplicator.cpp