mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm Class Reference

Algorithm class for the stategraph algorithm. More...

#include <stategraph_influence.h>

Classes
struct	influence_edge
struct	influence_vertex

Public Member Functions
	stategraph_influence_graph_algorithm (const stategraph_pbes &p)
void	print_influence_graph () const
void	run ()

Protected Member Functions
std::vector< influence_vertex >::const_iterator	find_vertex (const core::identifier_string &X, const data::variable &v) const
void	compute_influence_graph ()

Protected Attributes
const stategraph_pbes &	m_pbes
std::vector< influence_vertex >	m_influence_vertices
std::vector< influence_edge >	m_influence_edges

Detailed Description

Algorithm class for the stategraph algorithm.

Definition at line 21 of file stategraph_influence.h.

Constructor & Destructor Documentation

stategraph_influence_graph_algorithm()

mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::stategraph_influence_graph_algorithm ( const stategraph_pbes &  p )

inlineexplicit

Definition at line 24 of file stategraph_influence.h.

Member Function Documentation

compute_influence_graph()

void mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::compute_influence_graph ( )

inlineprotected

Definition at line 100 of file stategraph_influence.h.

find_vertex()

std::vector< influence_vertex >::const_iterator mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::find_vertex ( const core::identifier_string &  X, const data::variable &  v  ) const

inlineprotected

Definition at line 88 of file stategraph_influence.h.

print_influence_graph()

void mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::print_influence_graph ( ) const

inline

Definition at line 64 of file stategraph_influence.h.

run()

void mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::run ( )

inline

Definition at line 148 of file stategraph_influence.h.

Member Data Documentation

m_influence_edges

std::vector<influence_edge> mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::m_influence_edges

protected

Definition at line 85 of file stategraph_influence.h.

m_influence_vertices

std::vector<influence_vertex> mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::m_influence_vertices

protected

Definition at line 82 of file stategraph_influence.h.

m_pbes

const stategraph_pbes& mcrl2::pbes_system::detail::stategraph_influence_graph_algorithm::m_pbes

protected

Definition at line 79 of file stategraph_influence.h.

---

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

• pbes/include/mcrl2/pbes/detail/stategraph_influence.h