API
===
.. py:currentmodule:: icontract

require
-------
.. autoclass:: require()
    :members:

    .. automethod:: __init__
    .. automethod:: __call__

snapshot
--------
.. autoclass:: snapshot()
    :members:

    .. automethod:: __init__
    .. automethod:: __call__

ensure
------
.. autoclass:: ensure()
    :members:

    .. automethod:: __init__
    .. automethod:: __call__

invariant
---------
.. autoclass:: invariant()
    :members:

    .. automethod:: __init__
    .. automethod:: __call__

DBCMeta
-------
.. autoclass:: DBCMeta

DBC
---
.. autoclass:: DBC

ViolationError
--------------
.. autoclass:: ViolationError

InvariantCheckEvent
-------------------
.. autoclass:: InvariantCheckEvent