mcrl2::pbes_system::progress_measure Struct Reference

#include <small_progress_measures.h>

Public Member Functions
	progress_measure (std::size_t d)
bool	is_top () const

Public Attributes
std::vector< int >	v

Detailed Description

Definition at line 81 of file small_progress_measures.h.

Constructor & Destructor Documentation

progress_measure()

mcrl2::pbes_system::progress_measure::progress_measure ( std::size_t  d )

inlineexplicit

Definition at line 83 of file small_progress_measures.h.

Member Function Documentation

is_top()

bool mcrl2::pbes_system::progress_measure::is_top ( ) const

inline

Definition at line 90 of file small_progress_measures.h.

Member Data Documentation

v

std::vector<int> mcrl2::pbes_system::progress_measure::v

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