============================================================
Module: Set Specification Transducers and Automata (``sst``)
============================================================

.. automodule:: FAdo.sst
      :no-members:

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

^^^
PSP
^^^

.. autoclass:: PSP
   :members:

^^^^^^^^^
PSPVanila
^^^^^^^^^

.. autoclass:: PSPVanila
   :members:

^^^^^^^^
PDPEqual
^^^^^^^^

.. autoclass:: PSPEqual
   :members:

^^^^^^^
PSPDiff
^^^^^^^

.. autoclass:: PSPDiff
   :members:

^^^^^^^
SetSpec
^^^^^^^

.. autoclass:: SetSpec
   :members:
