LSInconsistency Class

class localsolver::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 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 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 toString() const

Returns a string representation of this inconsistency core.

Return:String representation.