specless.automaton
==================

.. automodule:: specless.automaton

   
   
   

   
   
   

   
   
   

   
   
   



.. autosummary::
   :toctree:
   :template: custom-module-template.rst
   :recursive:

   specless.automaton.base
   specless.automaton.dfa
   specless.automaton.factory
   specless.automaton.fdfa
   specless.automaton.mps
   specless.automaton.pdfa
   specless.automaton.product
   specless.automaton.transition_system
   specless.automaton.types
   specless.automaton.utils