mcrl2::pbes_system::detail::periodic_guard Class Reference

#include <pbesinst_structure_graph2.h>

Public Member Functions
bool	operator() (std::size_t period)

Protected Attributes
std::size_t	count = 0
std::size_t	regeneration_period = 100

Detailed Description

Definition at line 51 of file pbesinst_structure_graph2.h.

Member Function Documentation

operator()()

bool mcrl2::pbes_system::detail::periodic_guard::operator() ( std::size_t  period )

inline

Definition at line 58 of file pbesinst_structure_graph2.h.

Member Data Documentation

count

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

protected

Definition at line 54 of file pbesinst_structure_graph2.h.

regeneration_period

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

protected

Definition at line 55 of file pbesinst_structure_graph2.h.

---

The documentation for this class was generated from the following file:

• pbes/include/mcrl2/pbes/pbesinst_structure_graph2.h