Inconsistency core of the optimization model.
Also known as Irreductible Inconsistent Subproblem.
||Gets the number of expressions responsible for the inconsistency of this model.|
||Gets the cause with the given index in this model.|
||Returns a string representation of this inconsistency core.|
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.
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().
Returns a string representation of this inconsistency core.
Return: String representation.