symbolic.DisjunctiveFormula
===========================

.. currentmodule:: symbolic

.. autoclass:: DisjunctiveFormula
   :members:
   :show-inheritance:
   :inherited-members:

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~DisjunctiveFormula.__init__
      ~DisjunctiveFormula.normalize_conditions
      ~DisjunctiveFormula.normalize_goal
      ~DisjunctiveFormula.normalize_postconditions
      ~DisjunctiveFormula.normalize_preconditions
   
   

   
   
   .. rubric:: Attributes

   .. autosummary::
   
      ~DisjunctiveFormula.conjunctions