mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::pbes_system::detail::structure_graph_builder Struct Reference

#include <structure_graph_builder.h>

Public Types

using index_type = structure_graph::index_type
 

Public Member Functions

 structure_graph_builder (structure_graph &G)
 
std::size_t extent () const
 
structure_graph::vertex_vector & vertices ()
 
const structure_graph::vertex_vector & vertices () const
 
structure_graph::vertex & vertex (index_type u)
 
const structure_graph::vertex & vertex (index_type u) const
 
structure_graph::decoration_type decoration (const pbes_expression &x) const
 
index_type create_vertex (const pbes_expression &x)
 
index_type insert_variable (const pbes_expression &x, const pbes_expression &psi, std::size_t k)
 
index_type insert_variable (const pbes_expression &x)
 
index_type insert_vertex (const pbes_expression &x)
 
void insert_edge (index_type ui, index_type vi)
 
void set_initial_state (const propositional_variable_instantiation &x)
 
structure_graph::index_type initial_vertex () const
 
void finalize ()
 
index_type find_vertex (const pbes_expression &x) const
 
void erase_vertices (const vertex_set &U)
 

Public Attributes

structure_graph & m_graph
 
atermpp::utilities::unordered_map< pbes_expression, index_type, std::hash< atermpp::detail::reference_aterm< pbes_expression > >, std::equal_to< atermpp::detail::reference_aterm< pbes_expression > >, std::allocator< std::pair< const atermpp::detail::reference_aterm< pbes_expression >, atermpp::detail::reference_aterm< index_type > > >, true > m_vertex_map
 
pbes_expression m_initial_state
 

Detailed Description

Definition at line 24 of file structure_graph_builder.h.

Member Typedef Documentation

◆ index_type

using mcrl2::pbes_system::detail::structure_graph_builder::index_type = structure_graph::index_type

Definition at line 26 of file structure_graph_builder.h.

Constructor & Destructor Documentation

◆ structure_graph_builder()

mcrl2::pbes_system::detail::structure_graph_builder::structure_graph_builder ( structure_graph &  G)
inlineexplicit

Definition at line 37 of file structure_graph_builder.h.

Member Function Documentation

◆ create_vertex()

index_type mcrl2::pbes_system::detail::structure_graph_builder::create_vertex ( const pbes_expression &  x)
inline

Definition at line 91 of file structure_graph_builder.h.

◆ decoration()

structure_graph::decoration_type mcrl2::pbes_system::detail::structure_graph_builder::decoration ( const pbes_expression &  x) const
inline

Definition at line 66 of file structure_graph_builder.h.

◆ erase_vertices()

void mcrl2::pbes_system::detail::structure_graph_builder::erase_vertices ( const vertex_set &  U)
inline

Definition at line 181 of file structure_graph_builder.h.

◆ extent()

std::size_t mcrl2::pbes_system::detail::structure_graph_builder::extent ( ) const
inline

Definition at line 41 of file structure_graph_builder.h.

◆ finalize()

void mcrl2::pbes_system::detail::structure_graph_builder::finalize ( )
inline

Definition at line 164 of file structure_graph_builder.h.

◆ find_vertex()

index_type mcrl2::pbes_system::detail::structure_graph_builder::find_vertex ( const pbes_expression &  x) const
inline

Definition at line 170 of file structure_graph_builder.h.

◆ initial_vertex()

structure_graph::index_type mcrl2::pbes_system::detail::structure_graph_builder::initial_vertex ( ) const
inline

Definition at line 156 of file structure_graph_builder.h.

◆ insert_edge()

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

Definition at line 139 of file structure_graph_builder.h.

◆ insert_variable() [1/2]

index_type mcrl2::pbes_system::detail::structure_graph_builder::insert_variable ( const pbes_expression &  x)
inline

Definition at line 113 of file structure_graph_builder.h.

◆ insert_variable() [2/2]

index_type mcrl2::pbes_system::detail::structure_graph_builder::insert_variable ( const pbes_expression &  x,
const pbes_expression &  psi,
std::size_t  k 
)
inline

Definition at line 102 of file structure_graph_builder.h.

◆ insert_vertex()

index_type mcrl2::pbes_system::detail::structure_graph_builder::insert_vertex ( const pbes_expression &  x)
inline

Definition at line 126 of file structure_graph_builder.h.

◆ set_initial_state()

void mcrl2::pbes_system::detail::structure_graph_builder::set_initial_state ( const propositional_variable_instantiation &  x)
inline

Definition at line 151 of file structure_graph_builder.h.

◆ vertex() [1/2]

structure_graph::vertex & mcrl2::pbes_system::detail::structure_graph_builder::vertex ( index_type  u)
inline

Definition at line 56 of file structure_graph_builder.h.

◆ vertex() [2/2]

const structure_graph::vertex & mcrl2::pbes_system::detail::structure_graph_builder::vertex ( index_type  u) const
inline

Definition at line 61 of file structure_graph_builder.h.

◆ vertices() [1/2]

structure_graph::vertex_vector & mcrl2::pbes_system::detail::structure_graph_builder::vertices ( )
inline

Definition at line 46 of file structure_graph_builder.h.

◆ vertices() [2/2]

const structure_graph::vertex_vector & mcrl2::pbes_system::detail::structure_graph_builder::vertices ( ) const
inline

Definition at line 51 of file structure_graph_builder.h.

Member Data Documentation

◆ m_graph

structure_graph& mcrl2::pbes_system::detail::structure_graph_builder::m_graph

Definition at line 28 of file structure_graph_builder.h.

◆ m_initial_state

pbes_expression mcrl2::pbes_system::detail::structure_graph_builder::m_initial_state

Definition at line 35 of file structure_graph_builder.h.

◆ m_vertex_map

atermpp::utilities::unordered_map<pbes_expression, index_type, std::hash<atermpp::detail::reference_aterm<pbes_expression> >, std::equal_to<atermpp::detail::reference_aterm<pbes_expression> >, std::allocator< std::pair<const atermpp::detail::reference_aterm<pbes_expression>, atermpp::detail::reference_aterm<index_type> > >, true> mcrl2::pbes_system::detail::structure_graph_builder::m_vertex_map

Definition at line 34 of file structure_graph_builder.h.

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