mcrl2::pbes_system::detail::manual_structure_graph_builder Struct Reference

#include <structure_graph_builder.h>

Public Types
typedef structure_graph::index_type	index_type

Public Member Functions
	manual_structure_graph_builder (structure_graph &G)
index_type	insert_vertex (bool is_conjunctive, std::size_t rank)
	Create a vertex, returns the index of the new vertex.
void	insert_edge (index_type ui, index_type vi)
void	remove_edge (index_type ui, index_type vi)
void	set_initial_state (const index_type i)
void	finalize ()
	call at the end, to put the results into m_graph

Public Attributes
structure_graph &	m_graph
structure_graph::vertex_vector	m_vertices
index_type	m_initial_state

Detailed Description

Definition at line 237 of file structure_graph_builder.h.

Member Typedef Documentation

index_type

typedef structure_graph::index_type mcrl2::pbes_system::detail::manual_structure_graph_builder::index_type

Definition at line 239 of file structure_graph_builder.h.

Constructor & Destructor Documentation

manual_structure_graph_builder()

mcrl2::pbes_system::detail::manual_structure_graph_builder::manual_structure_graph_builder ( structure_graph &  G )

inlineexplicit

Definition at line 245 of file structure_graph_builder.h.

Member Function Documentation

finalize()

void mcrl2::pbes_system::detail::manual_structure_graph_builder::finalize ( )

inline

call at the end, to put the results into m_graph

May be called more than once. Does not invalidate this builder.

Definition at line 283 of file structure_graph_builder.h.

insert_edge()

void mcrl2::pbes_system::detail::manual_structure_graph_builder::insert_edge ( index_type  ui, index_type  vi  )

inline

Definition at line 256 of file structure_graph_builder.h.

insert_vertex()

index_type mcrl2::pbes_system::detail::manual_structure_graph_builder::insert_vertex ( bool  is_conjunctive, std::size_t  rank  )

inline

Create a vertex, returns the index of the new vertex.

Definition at line 250 of file structure_graph_builder.h.

remove_edge()

void mcrl2::pbes_system::detail::manual_structure_graph_builder::remove_edge ( index_type  ui, index_type  vi  )

inline

Definition at line 268 of file structure_graph_builder.h.

set_initial_state()

void mcrl2::pbes_system::detail::manual_structure_graph_builder::set_initial_state ( const index_type  i )

inline

Definition at line 276 of file structure_graph_builder.h.

Member Data Documentation

m_graph

structure_graph& mcrl2::pbes_system::detail::manual_structure_graph_builder::m_graph

Definition at line 241 of file structure_graph_builder.h.

m_initial_state

index_type mcrl2::pbes_system::detail::manual_structure_graph_builder::m_initial_state

Definition at line 243 of file structure_graph_builder.h.

m_vertices

structure_graph::vertex_vector mcrl2::pbes_system::detail::manual_structure_graph_builder::m_vertices

Definition at line 242 of file structure_graph_builder.h.

---

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

• pbes/include/mcrl2/pbes/structure_graph_builder.h