ExplicitStateLookup

Warning

The stormpy developer API is internal and can be subject to change.

class ExplicitStateLookup

Bases: pybind11_object

Lookup of state ids by their variable valuation

lookup(

self: stormpy.developer._core.ExplicitStateLookup,

state_description: collections.abc.Mapping[stormpy.expressions.Variable, stormpy.expressions.Expression],

) → object

Get the id of the state with the given valuation, or None if no such state exists

size(self: stormpy.developer._core.ExplicitStateLookup) → int

Number of states