Automata
========

.. note::

    All the following automata inherit from :class:`ggsolver.logic.base.Automaton`.
    Refer to the class documentation for a description of inherited functions.


DFA: Deterministic Finite Automaton
-----------------------------------

.. autoclass:: ggsolver.logic.automata.DFA
    :special-members: __init__


Monitor: Deterministic Safety Automaton
----------------------------------------

.. autoclass:: ggsolver.logic.automata.Monitor
    :special-members: __init__


DBA: Deterministic Buchi Automaton
-----------------------------------

.. autoclass:: ggsolver.logic.automata.DBA
    :special-members: __init__


DCBA: Deterministic co-Buchi Automaton
---------------------------------------

.. autoclass:: ggsolver.logic.automata.DCBA
    :special-members: __init__


DPA: Deterministic Parity Automaton
------------------------------------

.. autoclass:: ggsolver.logic.automata.DPA
    :special-members: __init__