logical\_to\_linear
===================


.. automodule:: pyomo.core.plugins.transform.logical_to_linear
   :undoc-members:

   

   
   .. rubric:: Classes

   .. autosummary::
      :toctree:
      :template: recursive-class.rst
   
      CnfToLinearVisitor
      LogicalToLinear
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
      :template: recursive-base.rst
   
      update_boolean_vars_from_binary