mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::pbes_system::detail::periodic_guard Class Reference

#include <pbesinst_structure_graph2.h>

Public Member Functions

 periodic_guard ()=default
 
 periodic_guard (std::size_t initial_regeneration_period)
 
bool is_expired ()
 
void set_expiration_steps (const std::size_t p)
 

Protected Attributes

std::size_t m_count = 0
 
std::size_t m_regeneration_period = 100
 

Detailed Description

Definition at line 52 of file pbesinst_structure_graph2.h.

Constructor & Destructor Documentation

◆ periodic_guard() [1/2]

mcrl2::pbes_system::detail::periodic_guard::periodic_guard ( )
default

◆ periodic_guard() [2/2]

mcrl2::pbes_system::detail::periodic_guard::periodic_guard ( std::size_t  initial_regeneration_period)
inline

Definition at line 61 of file pbesinst_structure_graph2.h.

Member Function Documentation

◆ is_expired()

bool mcrl2::pbes_system::detail::periodic_guard::is_expired ( )
inline

Definition at line 65 of file pbesinst_structure_graph2.h.

◆ set_expiration_steps()

void mcrl2::pbes_system::detail::periodic_guard::set_expiration_steps ( const std::size_t  p)
inline

Definition at line 76 of file pbesinst_structure_graph2.h.

Member Data Documentation

◆ m_count

std::size_t mcrl2::pbes_system::detail::periodic_guard::m_count = 0
protected

Definition at line 55 of file pbesinst_structure_graph2.h.

◆ m_regeneration_period

std::size_t mcrl2::pbes_system::detail::periodic_guard::m_regeneration_period = 100
protected

Definition at line 56 of file pbesinst_structure_graph2.h.

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