mcrl2::pbes_system::detail::periodic_guard

Include file:

#include "mcrl2/pbes/pbesinst_structure_graph2.h

class mcrl2::pbes_system::detail::periodic_guard

Protected attributes

std::size_t mcrl2::pbes_system::detail::periodic_guard::count

std::size_t mcrl2::pbes_system::detail::periodic_guard::regeneration_period

Public member functions

bool operator()(std::size_t period)