mcrl2::core::apply_builder
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/core/builder.h

.. cpp:class:: mcrl2::core::apply_builder

  

  

Private types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::core::apply_builder::super

  typedef for :cpp:type:`Builder\< apply_builder\< Builder > >`