LSInconsistency Class

class LSInconsistency

Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem. Such a value is obtained with LocalSolver.computeInconsistency().

See:

LSModel

See:

LSExpression

Summary

Fields

LSInconsistency.nbCauses

Number of expressions responsible for the inconsistency of this model. This method returns 0 if the inconsistency of the problem could not be proven.

Return type:

int

LSInconsistency.causes

This field returns a readonly map-like structure containing expressions responsible for the inconsistency of this model. The sub problem reduced to these expressions and their operands (recursively) is inconsistent. The returned structure has the following features:

  • A count field to get the number of expressions in the IIS, e.g. causes.count().

  • An overloaded index [] operator to get a specific expression, e.g. causes[0]. The index must be between 0 and causes.count() - 1. Accessing a value outside these bounds throws an exception.

  • An overloaded iterator operator to iterate over the causes with a for statement.

Return type:

map-like structure containing objects of type LSExpression.