chc.api package
===============

.. automodule:: chc.api
    :members:
    :undoc-members:
    :show-inheritance:

.. autosummary::
   chc.api.ApiParameter
   chc.api.ApiAssumption
   chc.api.CFileContracts
   chc.api.CFunctionContract
   chc.api.CGlobalContract
   chc.api.ContractAssumption
   chc.api.FieldAssignment
   chc.api.GlobalAssumption
   chc.api.InterfaceDictionary
   chc.api.InterfaceDictionaryRecord
   chc.api.PostAssume
   chc.api.PostConditionRequest
   chc.api.PostRequest
   chc.api.SOffset
   chc.api.STerm
   chc.api.XPredicate


Submodules
----------

.. toctree::

    chc.api.ApiParameter
    chc.api.ApiAssumption
    chc.api.CFileContracts
    chc.api.CFunctionContract
    chc.api.CGlobalContract
    chc.api.ContractAssumption
    chc.api.FieldAssignment
    chc.api.GlobalAssumption
    chc.api.InterfaceDictionary
    chc.api.InterfaceDictionaryRecord
    chc.api.PostAssume
    chc.api.PostConditionRequest
    chc.api.PostRequest
    chc.api.SOffset
    chc.api.STerm
    chc.api.XPredicate