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

RewardProperty(prop_values)

E properties