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