as2fm.jani_generator.jani_entries.jani_property.ProbabilityProperty

class as2fm.jani_generator.jani_entries.jani_property.ProbabilityProperty(prop_values: Dict[str, Any])

Bases: PropertyEntry

Pmin / Pmax

__init__(prop_values: Dict[str, Any])

Methods

__init__(prop_values)
as_dict(constants)
get_exp()
get_exp_operands()
get_op()
is_valid()