as2fm.jani_generator.jani_entries.jani_property.PropertyEntry

class as2fm.jani_generator.jani_entries.jani_property.PropertyEntry

Bases: object

Generic entry that must be contained in the PropertyFilter class.

__init__()

Methods

__init__()
get_exp()
get_exp_operands()
get_op()
is_valid()