mcrl2::pbes_system::detail::computation_guard
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/pbes/pbesinst_structure_graph2.h

.. cpp:class:: mcrl2::pbes_system::detail::computation_guard

  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::size_t mcrl2::pbes_system::detail::computation_guard::m_count
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: computation_guard(std::size_t initial_count=64)
  
  

  

.. cpp:function:: bool operator()(std::size_t count)