ClauseExchange
==============

.. doxygenclass:: stp::api::ClauseExchange
   :project: stp-cpp
   :members:
   :undoc-members: