as2fm.jani_generator.jani_entries.jani_property.JaniProperty

class as2fm.jani_generator.jani_entries.jani_property.JaniProperty(name, expression)

Bases: object

__init__(name, expression)

Methods

__init__(name, expression)
as_dict(constants)
from_dict(property_dict)
get_property_operands()	Get the expressions defined in the property (as LTL property operands).

get_property_operands() → Dict[str, JaniExpression]

Get the expressions defined in the property (as LTL property operands).