LocalSolver logo
is now
Hexaly logo

We're excited to share that we are moving forward. We're leaving behind the LocalSolver brand and transitioning to our new identity: Hexaly. This represents a leap forward in our mission to enable every organization to make better decisions faster when faced with operational and strategic challenges.

Read more
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 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