Abstraction
===========

.. toctree::
   :maxdepth: 2

   symbolic_abstraction
   predicate_abstraction
   predabs
   monabs
   absint