dlinear::Bound Struct Reference

Tuple containing the value, bound type and theory literal associated with the bound. More...

#include <Bound.h>

Public Attributes
const mpq_class *	value
	Value of the bound.
LpColBound	lp_bound
	Type of the bound (e.g. L, SL, U, SU)
Literal	theory_literal
	Theory literal associated with the bound.
LiteralSet	explanation
	Explanation for the existence of the bound (e.g. propagation)

Detailed Description

Tuple containing the value, bound type and theory literal associated with the bound.

It may also contain an explanation for the existence of the bound used to produce an explanation.

Note

For efficiency purposes, the value is just a pointer to the actual value. Therefore, it is important to ensure that the value is not deallocated while the bound is in use.

Definition at line 24 of file Bound.h.

---

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

• dlinear/solver/Bound.h
• dlinear/solver/Bound.cpp