mcrl2::pbes_system::compare_progress_measures_vertex Struct Reference

#include <small_progress_measures.h>

Public Member Functions
	compare_progress_measures_vertex (unsigned int m_)
bool	operator() (const progress_measures_vertex *x, const progress_measures_vertex *y) const

Public Attributes
unsigned int	m

Detailed Description

Definition at line 154 of file small_progress_measures.h.

Constructor & Destructor Documentation

compare_progress_measures_vertex()

mcrl2::pbes_system::compare_progress_measures_vertex::compare_progress_measures_vertex ( unsigned int  m_ )

inlineexplicit

Definition at line 158 of file small_progress_measures.h.

Member Function Documentation

operator()()

bool mcrl2::pbes_system::compare_progress_measures_vertex::operator() ( const progress_measures_vertex *  x, const progress_measures_vertex *  y  ) const

inline

Definition at line 162 of file small_progress_measures.h.

Member Data Documentation

m

unsigned int mcrl2::pbes_system::compare_progress_measures_vertex::m

Definition at line 156 of file small_progress_measures.h.

---

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

• pbes/include/mcrl2/pbes/small_progress_measures.h