mcrl2::pbes_system::small_progress_measures_algorithm Class Reference

Algorithm class for the small progress measures algorithm. More...

#include <small_progress_measures.h>

Public Member Functions
	small_progress_measures_algorithm (const pbes &b)
bool	run (const propositional_variable_instantiation &first_variable)

Protected Types
using	vertex = progress_measures_vertex
using	vertex_map = std::map< propositional_variable_instantiation, vertex >

Protected Member Functions
void	initialize_vertices ()
std::string	print_vertices () const
std::string	print_vertex (const vertex &v) const
std::string	print_neighbors (const progress_measures_vertex &v) const
	Logs the neighbors of a vertex.

Protected Attributes
vertex_map	m_vertices
int	m_d = 0
const pbes &	m_bes
std::vector< int >	m_beta

Detailed Description

Algorithm class for the small progress measures algorithm.

Definition at line 197 of file small_progress_measures.h.

Member Typedef Documentation

vertex

using mcrl2::pbes_system::small_progress_measures_algorithm::vertex = progress_measures_vertex

protected

Definition at line 200 of file small_progress_measures.h.

vertex_map

using mcrl2::pbes_system::small_progress_measures_algorithm::vertex_map = std::map<propositional_variable_instantiation, vertex>

protected

Definition at line 201 of file small_progress_measures.h.

Constructor & Destructor Documentation

small_progress_measures_algorithm()

mcrl2::pbes_system::small_progress_measures_algorithm::small_progress_measures_algorithm ( const pbes &  b )

inlineexplicit

Definition at line 290 of file small_progress_measures.h.

Member Function Documentation

initialize_vertices()

void mcrl2::pbes_system::small_progress_measures_algorithm::initialize_vertices ( )

inlineprotected

Definition at line 203 of file small_progress_measures.h.

print_neighbors()

std::string mcrl2::pbes_system::small_progress_measures_algorithm::print_neighbors ( const progress_measures_vertex &  v ) const

inlineprotected

Logs the neighbors of a vertex.

Definition at line 274 of file small_progress_measures.h.

print_vertex()

std::string mcrl2::pbes_system::small_progress_measures_algorithm::print_vertex ( const vertex &  v ) const

inlineprotected

Definition at line 266 of file small_progress_measures.h.

print_vertices()

std::string mcrl2::pbes_system::small_progress_measures_algorithm::print_vertices ( ) const

inlineprotected

Definition at line 255 of file small_progress_measures.h.

run()

bool mcrl2::pbes_system::small_progress_measures_algorithm::run ( const propositional_variable_instantiation &  first_variable )

inline

Definition at line 294 of file small_progress_measures.h.

Member Data Documentation

m_bes

const pbes& mcrl2::pbes_system::small_progress_measures_algorithm::m_bes

protected

Definition at line 286 of file small_progress_measures.h.

m_beta

std::vector<int> mcrl2::pbes_system::small_progress_measures_algorithm::m_beta

protected

Definition at line 287 of file small_progress_measures.h.

m_d

int mcrl2::pbes_system::small_progress_measures_algorithm::m_d = 0

protected

Definition at line 285 of file small_progress_measures.h.

m_vertices

vertex_map mcrl2::pbes_system::small_progress_measures_algorithm::m_vertices

protected

Definition at line 284 of file small_progress_measures.h.

---

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

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