as2fm.jani\_generator.jani\_entries.jani\_property.ProbabilityProperty
======================================================================

.. currentmodule:: as2fm.jani_generator.jani_entries.jani_property

.. autoclass:: ProbabilityProperty
   :members:
   :show-inheritance:
   :inherited-members:

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~ProbabilityProperty.__init__
      ~ProbabilityProperty.as_dict
      ~ProbabilityProperty.get_exp
      ~ProbabilityProperty.get_exp_operands
      ~ProbabilityProperty.get_op
      ~ProbabilityProperty.is_valid