Logic
=====

Automaton
---------

.. autoclass:: ggsolver.logic.Automaton
    :members:


SpotAutomaton
--------------

.. autoclass:: ggsolver.logic.SpotAutomaton
    :members:



PL
---

.. autoclass:: ggsolver.logic.PL
    :members:


ScLTL
------

.. autoclass:: ggsolver.logic.ScLTL
    :members:


LTL
------

.. autoclass:: ggsolver.logic.LTL
    :members: