mcrl2::pbes_system::progress_measures_vertex Struct Reference

Vertex of the progress measures graph. More...

#include <small_progress_measures.h>

Public Member Functions
	progress_measures_vertex (bool even_=false, int rank_=0, unsigned int d=1)

Public Attributes
std::vector< progress_measures_vertex * >	successors
bool	even
int	rank
progress_measure	alpha
std::string	name

Detailed Description

Vertex of the progress measures graph.

Definition at line 135 of file small_progress_measures.h.

Constructor & Destructor Documentation

progress_measures_vertex()

mcrl2::pbes_system::progress_measures_vertex::progress_measures_vertex ( bool  even_ = false, int  rank_ = 0, unsigned int  d = 1  )

inlineexplicit

Definition at line 137 of file small_progress_measures.h.

Member Data Documentation

alpha

progress_measure mcrl2::pbes_system::progress_measures_vertex::alpha

Definition at line 146 of file small_progress_measures.h.

even

bool mcrl2::pbes_system::progress_measures_vertex::even

Definition at line 144 of file small_progress_measures.h.

name

std::string mcrl2::pbes_system::progress_measures_vertex::name

Definition at line 149 of file small_progress_measures.h.

rank

int mcrl2::pbes_system::progress_measures_vertex::rank

Definition at line 145 of file small_progress_measures.h.

successors

std::vector<progress_measures_vertex*> mcrl2::pbes_system::progress_measures_vertex::successors

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