.. module:: UFL
.. currentmodule:: UFL

UFL
===

Module summary
---------------
.. automodule:: UFL
   :no-members:
   :noindex:

(In the implementation details below, click on class/function names for additional documentation and links to the source code.)

.. centered:: ❖❖❖



Implements functions (outside the classes above):
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
.. autosummary::


   add_BDD_to_MIP
   build_DP_DD
   build_MIP
   build_Sf
   create_NF
   create_availability_BDD
   create_covering_BDD
   create_covering_BDD_wg
   draw_problem_dia
   generate_dense_instance
   generate_test_figures
   generate_test_instance
   make_simple_problem
   show_BDD_build
   show_BDD_to_MIP
   show_BDD_to_MIP_wg
   show_build_MIP
   solve_with_intBDD
   test_BDD_and_plain_MIPs
   test_DD_creation
   test_MIPs_protocol






.. centered:: ❖❖❖
.. centered:: Implementation details








.. centered:: ❖❖❖

Functions
---------


.. autofunction:: add_BDD_to_MIP
.. autofunction:: build_DP_DD
.. autofunction:: build_MIP
.. autofunction:: build_Sf
.. autofunction:: create_NF
.. autofunction:: create_availability_BDD
.. autofunction:: create_covering_BDD
.. autofunction:: create_covering_BDD_wg
.. autofunction:: draw_problem_dia
.. autofunction:: generate_dense_instance
.. autofunction:: generate_test_figures
.. autofunction:: generate_test_instance
.. autofunction:: make_simple_problem
.. autofunction:: show_BDD_build
.. autofunction:: show_BDD_to_MIP
.. autofunction:: show_BDD_to_MIP_wg
.. autofunction:: show_build_MIP
.. autofunction:: solve_with_intBDD
.. autofunction:: test_BDD_and_plain_MIPs
.. autofunction:: test_DD_creation
.. autofunction:: test_MIPs_protocol