Entailment
==========

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