JaniAutomaton¶

class JaniAutomaton(self: stormpy.io.JaniAutomaton, arg0: str, arg1)¶

Bases: pybind11_object

A Jani Automation

add_edge(self: stormpy.io.JaniAutomaton, edge) → None¶

add_initial_location( self: stormpy.io.JaniAutomaton, index: SupportsInt | SupportsIndex, ) → None¶

add_location(self: stormpy.io.JaniAutomaton, location) → int¶: adds a new location, returns the index

property edges¶: get edges

get_location_index(self: stormpy.io.JaniAutomaton, name: str) → int¶

property initial_location_indices¶

property initial_states_restriction¶: initial state restriction

property location_variable¶

property locations¶

property name¶

property variables¶: variables of the automaton