JaniVariableSet¶

class JaniVariableSet(self: stormpy.io.JaniVariableSet)¶

Bases: pybind11_object

Jani Set of Variables

add_variable(self: stormpy.io.JaniVariableSet, arg0) → None¶

empty(self: stormpy.io.JaniVariableSet) → bool¶: is there a variable in the set?

erase_variable(self: stormpy.io.JaniVariableSet, arg0)¶: variable

get_variable_by_expr_variable(self: stormpy.io.JaniVariableSet, arg0)¶

get_variable_by_name(self: stormpy.io.JaniVariableSet, arg0: str)¶