.. _exhale_function_Proposition_8h_1a68e7976e8cbe698d215c4e9c8e85b30b:

Function VAL::setIntersect
==========================

- Defined in :ref:`file_src_VALfiles_Proposition.h`


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


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