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
localsolver.LSInconsistency¶ Value type for the Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem. Such a value is obtained with
LSSolver.compute_inconsistency.
Summary¶
get_nb_causes |
Gets the number of expressions responsible for the inconsistency of this model. |
get_cause |
Gets the cause with the given index in this model. |
__str__ |
Returns a string representation of this inconsistency core. |
Instance methods¶
-
LSInconsistency.get_nb_causes()¶ 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. Return type: int
-
LSInconsistency.get_cause(pos)¶ Gets the cause with the given index in this model.
Parameters: pos – A non negative integer strictly smaller than getNbCauses(). Returns: The requested expression. Return type: LSExpression