LSInconsistency Class¶

class LSInconsistency¶: Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem.

Summary¶

Functions¶
`getNbCauses`	Gets the number of expressions responsible for the inconsistency of this model.
`getCause`	Gets the cause with the given index in this model.
`toString`	Returns a string representation of this inconsistency core.

Functions¶

int LSInconsistency::getNbCauses() const¶

Gets the number of expressions responsible for the inconsistency of this model. The sub problem reduced to these expressions and their operands (recursively) is inconsistent. This method returns 0 if the inconsistency of the problem could not be proven.

Returns:: Number of expressions.

LSExpression LSInconsistency::getCause(int causeIndex) const¶

Gets the cause with the given index in this model.

Parameters:: causeIndex – A non negative integer strictly smaller than getNbCauses().
Returns:: The requested cause (Expression).

std::string LSInconsistency::toString() const¶

Returns a string representation of this inconsistency core.

Returns:: String representation.