.. _exhale_function_Proposition_8h_1aca776cb75052162d04cb8968d4e39ad8:

Function VAL::setUnion
======================

- Defined in :ref:`file_src_VALfiles_Proposition.h`


Function Documentation
----------------------


.. doxygenfunction:: VAL::setUnion(const Intervals&, const Intervals&)
   :project: popf Doxygen Project