Bases: object
object
Mainly Until properties. Need to check support of Next and Global properties in Jani.
Methods
__init__(prop_values)
__init__
as_dict(constants)
as_dict
is_valid()
is_valid