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