mcrl2::pbes_system::detail::computation_guard Class Reference

#include <pbesinst_structure_graph2.h>

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

Protected Attributes
std::size_t	m_count = 64

Detailed Description

Definition at line 30 of file pbesinst_structure_graph2.h.

Constructor & Destructor Documentation

computation_guard()

mcrl2::pbes_system::detail::computation_guard::computation_guard ( std::size_t  initial_count = 64 )

inlineexplicit

Definition at line 36 of file pbesinst_structure_graph2.h.

Member Function Documentation

operator()()

bool mcrl2::pbes_system::detail::computation_guard::operator() ( std::size_t  count )

inline

Definition at line 40 of file pbesinst_structure_graph2.h.

Member Data Documentation

m_count

std::size_t mcrl2::pbes_system::detail::computation_guard::m_count = 64

protected

Definition at line 33 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