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

Compilation
-----------

.. autoclass:: QueryFormat
  :members:

.. autofunction:: compile_to_queries

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

.. currentmodule:: vehicle_lang

.. autofunction:: load_loss_function

.. autoclass:: DifferentiableLogic
  :members:

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

.. autoclass:: Verifier
  :members:

.. autofunction:: verify

Exceptions
----------

.. automodule:: vehicle_lang.error
  :members: