owlapy.util.TopLevelCNF
=======================

.. currentmodule:: owlapy.util

.. autoclass:: TopLevelCNF
   :members:
   :undoc-members:
   :show-inheritance:
   :inherited-members:

   .. raw:: latex

      \iffalse

   
   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
   
      ~TopLevelCNF.get_top_level_cnf
   
   

   
   
   

   .. raw:: latex

      \fi