mcrl2::pbes_system::detail::computation_guard

Include file:

#include "mcrl2/pbes/pbesinst_structure_graph2.h
class mcrl2::pbes_system::detail::computation_guard

Protected attributes

std::size_t m_count

Public member functions

computation_guard(std::size_t initial_count = 64)
bool operator()(std::size_t count)