Structure used to store the infeasibility explanation of a subset of non-equal constraints. More...

Public Attributes
std::set< int >	explanation
	Indexes of a subset of non-equal constraints that are part of the explanation.

std::vector< bool >	visited
	Configuration of the non-equal constraints that have been visited.

Detailed Description

Structure used to store the infeasibility explanation of a subset of non-equal constraints.

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

Public Attributes