as2fm.jani_generator.jani_entries.jani_property

Properties in Jani

Classes

FilterProperty(property_filter_exp)	All Property operators must occur in a FilterProperty object.
JaniProperty(name, expression)
NumPathsProperty(prop_values)	This address properties where we want the property verified on all / at least one case.
PathProperty(prop_values)	Mainly Until properties.
PathPropertyStepBounds(bound_values)
ProbabilityProperty(prop_values)	Pmin / Pmax
PropertyEntry()	Generic entry that must be contained in the PropertyFilter class.
RewardProperty(prop_values)	E properties