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 mcrl2::pbes_system::simple_structure_graph::decoration_type

typedef for structure_graph::decoration_type

type mcrl2::pbes_system::simple_structure_graph::index_type

typedef for structure_graph::index_type

type mcrl2::pbes_system::simple_structure_graph::vertex

typedef for structure_graph::vertex

Protected attributes

const atermpp::vector<vertex> &mcrl2::pbes_system::simple_structure_graph::m_vertices

Public member functions

const atermpp::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 atermpp::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 atermpp::vector<vertex> &vertices() const