as2fm.jani_generator.jani_entries.jani_property.NumPathsProperty
- class as2fm.jani_generator.jani_entries.jani_property.NumPathsProperty(prop_values: Dict[str, Any])
Bases:
PropertyEntry
This address properties where we want the property verified on all / at least one case.
- __init__(prop_values: Dict[str, Any])
Methods
__init__
(prop_values)get_exp
()get_exp_operands
()get_op
()is_valid
()