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 mcrl2::pbes_system::detail::computation_guard::m_count

Public member functions

computation_guard(std::size_t initial_count = 64)

bool operator()(std::size_t count)