=========================================
Module: Random DFA Generator (``rndfap``)
=========================================

.. automodule:: FAdo.rndfap
   :no-members:

-------
Classes
-------

^^^^^^^^^
ICDFArgen
^^^^^^^^^

.. autoclass:: ICDFArgen
    :members:

^^^^^^^^
ICDFArnd
^^^^^^^^

.. autoclass:: ICDFArnd
    :members:

^^^^^^^^^^^^^^^^^^
ICDFArndIncomplete
^^^^^^^^^^^^^^^^^^

.. autoclass:: ICDFArndIncomplete
    :members:

