LSInconsistency Class¶

class

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 localsolver::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.

Return:	Number of expressions.

LSExpression localsolver::LSInconsistency::getCause(int causeIndex)¶ const

Gets the cause with the given index in this model.

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

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

Returns a string representation of this inconsistency core.

Return:	String representation.