mcrl2::pbes_system::structure_graph::vertex Struct Reference

#include <structure_graph.h>

Public Member Functions
	vertex (pbes_expression formula_, decoration_type decoration_=structure_graph::d_none, std::size_t rank_=data::undefined_index(), std::vector< index_type > pred_=std::vector< index_type >(), std::vector< index_type > succ_=std::vector< index_type >(), index_type strategy_=undefined_vertex())
void	remove_predecessor (index_type u)
const pbes_expression &	formula () const
void	remove_successor (index_type u)
bool	is_defined () const
void	mark (atermpp::term_mark_stack &todo) const

Public Attributes
atermpp::detail::reference_aterm< pbes_expression >	m_formula
decoration_type	decoration
std::size_t	rank
std::vector< index_type >	predecessors
std::vector< index_type >	successors
index_type	strategy

Detailed Description

Definition at line 60 of file structure_graph.h.

Constructor & Destructor Documentation

vertex()

mcrl2::pbes_system::structure_graph::vertex::vertex ( pbes_expression  formula_, decoration_type  decoration_ = structure_graph::d_none, std::size_t  rank_ = data::undefined_index(), std::vector< index_type >  pred_ = std::vector<index_type>(), std::vector< index_type >  succ_ = std::vector<index_type>(), index_type  strategy_ = undefined_vertex()  )

inlineexplicit

Definition at line 69 of file structure_graph.h.

Member Function Documentation

formula()

const pbes_expression & mcrl2::pbes_system::structure_graph::vertex::formula ( ) const

inline

Definition at line 90 of file structure_graph.h.

is_defined()

bool mcrl2::pbes_system::structure_graph::vertex::is_defined ( ) const

inline

Definition at line 100 of file structure_graph.h.

mark()

void mcrl2::pbes_system::structure_graph::vertex::mark ( atermpp::term_mark_stack &  todo ) const

inline

Definition at line 106 of file structure_graph.h.

remove_predecessor()

void mcrl2::pbes_system::structure_graph::vertex::remove_predecessor ( index_type  u )

inline

Definition at line 84 of file structure_graph.h.

remove_successor()

void mcrl2::pbes_system::structure_graph::vertex::remove_successor ( index_type  u )

inline

Definition at line 95 of file structure_graph.h.

Member Data Documentation

decoration

decoration_type mcrl2::pbes_system::structure_graph::vertex::decoration

Definition at line 63 of file structure_graph.h.

m_formula

atermpp::detail::reference_aterm<pbes_expression> mcrl2::pbes_system::structure_graph::vertex::m_formula

Definition at line 62 of file structure_graph.h.

predecessors

std::vector<index_type> mcrl2::pbes_system::structure_graph::vertex::predecessors

Definition at line 65 of file structure_graph.h.

rank

std::size_t mcrl2::pbes_system::structure_graph::vertex::rank

Definition at line 64 of file structure_graph.h.

strategy

index_type mcrl2::pbes_system::structure_graph::vertex::strategy

mutable

Definition at line 67 of file structure_graph.h.

successors

std::vector<index_type> mcrl2::pbes_system::structure_graph::vertex::successors

Definition at line 66 of file structure_graph.h.

---

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

• pbes/include/mcrl2/pbes/structure_graph.h