mcrl2::bes::small_progress_measures_algorithm

Include file:

#include "mcrl2/bes/small_progress_measures.h

class mcrl2::bes::small_progress_measures_algorithm

Algorithm class for the small progress measures algorithm.

Protected types

type mcrl2::bes::small_progress_measures_algorithm::vertex

typedef for progress_measures_vertex

type mcrl2::bes::small_progress_measures_algorithm::vertex_map

typedef for std::map< boolean_variable, vertex >

Protected attributes

const boolean_equation_system &mcrl2::bes::small_progress_measures_algorithm::m_bes

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

int mcrl2::bes::small_progress_measures_algorithm::m_d

vertex_map mcrl2::bes::small_progress_measures_algorithm::m_vertices

Protected member functions

void initialize_vertices()

std::string print_neighbors(const progress_measures_vertex &v) const

Logs the neighbors of a vertex.

std::string print_vertex(const vertex &v) const

std::string print_vertices() const

Public member functions

bool run(const boolean_variable &first_variable)

small_progress_measures_algorithm(const boolean_equation_system &b)