to\_cnf
=======

(function from :py:mod:`pyomo.core.expr.cnf_walker`)

.. testsetup:: *

   # import everything from the module containing this class so that
   # doctests for the class docstrings see the correct environment
   from pyomo.core.expr.cnf_walker import *
   try:
       from pyomo.core.expr.cnf_walker import _autosummary_doctest_setup
       _autosummary_doctest_setup()
   except ImportError:
       pass

.. currentmodule:: pyomo.core.expr.cnf_walker

.. autofunction:: pyomo.core.expr.cnf_walker::to_cnf