This page is for an old version of Hexaly Optimizer. We recommend that you update your version and read the documentation for the latest stable release.

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.