Tests NFA
=========

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

    .. rubric:: List

    .. autosummary::

        TestNfaIntersection
        TestNfaUnion
        TestNfaDeterminization
        TestNfaComplementation
        TestNfaNonemptinessCheck
        TestNfaNonuniversalityCheck
        TestNfaInterestingnessCheck
        TestNfaWordAcceptance

    .. rubric:: Functions