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 LocalSolver.compute_inconsistency().

Since:	6.0

Summary¶

Methods¶
`get_nb_causes`	Returns the number of expressions responsible for the inconsistency of this model.
`get_cause`	Returns the cause at the given position in this model.

Special methods¶
`__str__`	Returns a string representation of this inconsistency core.
`__len__`	Returns the number of expressions responsible for the inconsistency of this model.
`__getitem__`	Returns the cause at the given position in this model.

Instance methods¶

LSInconsistency.get_nb_causes()¶

Returns 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)¶

Returns the cause at the given position in this model.

Parameters:	pos – A non negative integer strictly smaller than `get_nb_causes()`.
Returns:	The requested expression.
Return type:	LSExpression

Special operators and methods¶

LSInconsistency.__str__()¶

Returns a string representation of this inconsistency core.

Returns:	String representation of this inconsistency core.
Return type:	`str`

LSInconsistency.__len__()¶

Returns 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. This method allows users to call len() function directly on the native context without using the get_nb_causes() method.

Returns:	Number of expressions.
Return type:	`int`

LSInconsistency.__getitem__(pos)¶

Returns the cause at the given position in this model. This method allows users to use [] operator directly on the native context without using the get_cause() method.

Parameters:	pos – A non negative integer strictly smaller than `get_nb_causes()`.
Returns:	The requested expression.
Return type:	LSExpression