as2fm.jani_generator.jani_entries.jani_property.PathProperty

class as2fm.jani_generator.jani_entries.jani_property.PathProperty(prop_values: Dict[str, Any])

Bases: object

Mainly Until properties. Need to check support of Next and Global properties in Jani.

__init__(prop_values: Dict[str, Any])

Methods

__init__(prop_values)
as_dict(constants)
get_operands()	Return the reference to the property operands.
is_valid()

get_operands() → Dict[str, JaniExpression]

Return the reference to the property operands.