as2fm.jani_generator.jani_entries.jani_property
Properties in Jani
Classes
|
All Property operators must occur in a FilterProperty object. |
|
|
|
This address properties where we want the property verified on all / at least one case. |
|
Mainly Until properties. |
|
|
|
Pmin / Pmax |
|
E properties |