Tests DFA
=========

.. automodule:: tests.test_DFA
    :members:
    :undoc-members:
    :show-inheritance:

    .. rubric:: List

    .. autosummary::

        TestDfaWordAcceptance
        TestDfaCompletion
        TestDfaComplementation
        TestDfaIntersection
        TestDfaUnion
        TestDfaMinimization
        TestDfaReachable
        TestDfaCoReachable
        TestDfaTrimming
        TestDfaProjection
        TestDfaNonemptinessCheck

    .. rubric:: Functions