chc.proof.AssumptionType module
-------------------------------

Base class and subclasses
^^^^^^^^^^^^^^^^^^^^^^^^^

.. autosummary::
   chc.proof.AssumptionType.AssumptionType
   chc.proof.AssumptionType.ApiAssumptionType
   chc.proof.AssumptionType.GlobalApiAssumptionType
   chc.proof.AssumptionType.PostconditionType
   chc.proof.AssumptionType.GlobalAssumptionType

.. automodule:: chc.proof.AssumptionType
    :members:
    :undoc-members:
    :show-inheritance: