mcrl2::pbes_system::simple_structure_graph

Include file:

#include "mcrl2/pbes/simple_structure_graph.h
class mcrl2::pbes_system::simple_structure_graph

Public types

type decoration_type

typedef for structure_graph::decoration_type

type index_type

typedef for structure_graph::index_type

type vertex

typedef for structure_graph::vertex

Protected attributes

const std::vector<vertex> &m_vertices

Public member functions

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