mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Protected Attributes | List of all members
mcrl2::pbes_system::simple_structure_graph Class Reference

#include <simple_structure_graph.h>

Public Types

using decoration_type = structure_graph::decoration_type
 
using index_type = structure_graph::index_type
 
using vertex = structure_graph::vertex
 

Public Member Functions

 simple_structure_graph (const structure_graph::vertex_vector &vertices)
 
decoration_type decoration (index_type u) const
 
std::size_t extent () const
 
std::size_t rank (index_type u) const
 
const structure_graph::vertex_vector & vertices () const
 
const structure_graph::vertex_vector & all_vertices () const
 
const std::vector< index_type > & predecessors (index_type u) const
 
const std::vector< index_type > & successors (index_type u) const
 
index_type strategy (index_type u) const
 
const vertex & find_vertex (index_type u)
 
const vertex & find_vertex (index_type u) const
 
bool contains (index_type) const
 
bool is_empty () const
 
std::size_t size () const
 

Protected Attributes

const structure_graph::vertex_vector & m_vertices
 

Detailed Description

Definition at line 23 of file simple_structure_graph.h.

Member Typedef Documentation

◆ decoration_type

using mcrl2::pbes_system::simple_structure_graph::decoration_type = structure_graph::decoration_type

Definition at line 26 of file simple_structure_graph.h.

◆ index_type

using mcrl2::pbes_system::simple_structure_graph::index_type = structure_graph::index_type

Definition at line 27 of file simple_structure_graph.h.

◆ vertex

using mcrl2::pbes_system::simple_structure_graph::vertex = structure_graph::vertex

Definition at line 28 of file simple_structure_graph.h.

Constructor & Destructor Documentation

◆ simple_structure_graph()

mcrl2::pbes_system::simple_structure_graph::simple_structure_graph ( const structure_graph::vertex_vector &  vertices)
inlineexplicit

Definition at line 34 of file simple_structure_graph.h.

Member Function Documentation

◆ all_vertices()

const structure_graph::vertex_vector & mcrl2::pbes_system::simple_structure_graph::all_vertices ( ) const
inline

Definition at line 58 of file simple_structure_graph.h.

◆ contains()

bool mcrl2::pbes_system::simple_structure_graph::contains ( index_type  ) const
inline

Definition at line 88 of file simple_structure_graph.h.

◆ decoration()

decoration_type mcrl2::pbes_system::simple_structure_graph::decoration ( index_type  u) const
inline

Definition at line 38 of file simple_structure_graph.h.

◆ extent()

std::size_t mcrl2::pbes_system::simple_structure_graph::extent ( ) const
inline

Definition at line 43 of file simple_structure_graph.h.

◆ find_vertex() [1/2]

const vertex & mcrl2::pbes_system::simple_structure_graph::find_vertex ( index_type  u)
inline

Definition at line 78 of file simple_structure_graph.h.

◆ find_vertex() [2/2]

const vertex & mcrl2::pbes_system::simple_structure_graph::find_vertex ( index_type  u) const
inline

Definition at line 83 of file simple_structure_graph.h.

◆ is_empty()

bool mcrl2::pbes_system::simple_structure_graph::is_empty ( ) const
inline

Definition at line 93 of file simple_structure_graph.h.

◆ predecessors()

const std::vector< index_type > & mcrl2::pbes_system::simple_structure_graph::predecessors ( index_type  u) const
inline

Definition at line 63 of file simple_structure_graph.h.

◆ rank()

std::size_t mcrl2::pbes_system::simple_structure_graph::rank ( index_type  u) const
inline

Definition at line 48 of file simple_structure_graph.h.

◆ size()

std::size_t mcrl2::pbes_system::simple_structure_graph::size ( ) const
inline

Definition at line 98 of file simple_structure_graph.h.

◆ strategy()

index_type mcrl2::pbes_system::simple_structure_graph::strategy ( index_type  u) const
inline

Definition at line 73 of file simple_structure_graph.h.

◆ successors()

const std::vector< index_type > & mcrl2::pbes_system::simple_structure_graph::successors ( index_type  u) const
inline

Definition at line 68 of file simple_structure_graph.h.

◆ vertices()

const structure_graph::vertex_vector & mcrl2::pbes_system::simple_structure_graph::vertices ( ) const
inline

Definition at line 53 of file simple_structure_graph.h.

Member Data Documentation

◆ m_vertices

const structure_graph::vertex_vector& mcrl2::pbes_system::simple_structure_graph::m_vertices
protected

Definition at line 31 of file simple_structure_graph.h.

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