JaniScopeChanger

Warning

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

class JaniScopeChanger(self: stormpy.developer.storage._storage.JaniScopeChanger)

Bases: pybind11_object

A transformer for Jani changing variables from local to global and vice versa

make_variables_local(

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

model: stormpy.io.JaniModel,

properties: collections.abc.Sequence[storm::jani::Property] | None = None,

) → None