HxInconsistency Class

class HxInconsistency

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

See:

HxModel

See:

HxExpression

Summary

Fields

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

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