.. Emacs, this is -*-rst-*-

Documentation of modules
========================

Documentation below was automatically generated from docstrings in the
source code using the Sphinx extension `autodoc
<http://sphinx.pocoo.org/ext/autodoc.html>`_.

.. toctree::
   :maxdepth: 2

   rhtlp
   abstraction
   synthesis
   simulation