Assume/guarantee - emission
===========================

.. currentmodule:: ansys.scadeone.core.swan

Assume guarantee sections
-------------------------

.. autoclass:: FormalProperty

.. autoclass:: AssumeSection
    :exclude-members: to_str

.. autoclass:: GuaranteeSection
    :exclude-members: to_str

Emissions
---------

.. autoclass:: EmissionBody

.. autoclass:: EmitSection
    :exclude-members: to_str