JaniLocationExpander

Warning

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

class JaniLocationExpander(

self: stormpy.developer.storage._storage.JaniLocationExpander,

model: stormpy.io.JaniModel,

)

Bases: pybind11_object

A transformer for Jani expanding variables into locations

transform(

self: stormpy.developer.storage._storage.JaniLocationExpander,

automaton_name: str,

variable_name: str,

) → storm::jani::JaniLocationExpander::ReturnType