JaniLocation¶
- class JaniLocation(
- self: stormpy.io.JaniLocation,
- name: str,
- assignments: stormpy.io.JaniOrderedAssignments,
Bases:
pybind11_objectA Location in JANI
- property assignments¶
location assignments
- property name¶
name of the location
Bases: pybind11_object
A Location in JANI
location assignments
name of the location