as2fm.jani_generator.jani_entries.jani_property.ProbabilityProperty
-
class as2fm.jani_generator.jani_entries.jani_property.ProbabilityProperty(prop_values: Dict[str, Any])
Bases: object
Pmin / Pmax
-
__init__(prop_values: Dict[str, Any])
Methods
__init__(prop_values)
|
|
as_dict(constants)
|
|
is_valid()
|
|