Python API
==========

Loss functions
--------------

.. currentmodule:: vehicle_lang

.. autofunction:: load_loss_function

.. autoclass:: DifferentiableLogic
  :members:

Verification
------------

.. autofunction:: verify

.. autoclass:: Verifier
  :members:

Exceptions
----------

.. automodule:: vehicle_lang.error
  :members: