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()