as2fm.jani_generator.jani_entries.jani_property.FilterProperty

class as2fm.jani_generator.jani_entries.jani_property.FilterProperty(property_filter_exp: Dict[str, Any])

Bases: object

All Property operators must occur in a FilterProperty object.

__init__(property_filter_exp: Dict[str, Any])

Methods

__init__(property_filter_exp)
as_dict(constants)
get_property_operands()