mcrl2::pbes_system::structure_graph

Include file:

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

Public types

type decoration_type

Values:

  • d_disjunction
  • d_conjunction
  • d_true
  • d_false
  • d_none
type index_type

typedef for unsigned int

Friends

friend struct detail::manual_structure_graph_builder

friend struct detail::structure_graph_builder

public-static-attrib

constexpr index_type undefined_vertex

Protected attributes

boost::dynamic_bitset m_exclude
index_type m_initial_vertex
std::vector<vertex> m_vertices

Public member functions

const std::vector<index_type> &all_predecessors(index_type u) const
const std::vector<index_type> &all_successors(index_type u) const
const std::vector<vertex> &all_vertices() const
bool contains(index_type u) const
decoration_type decoration(index_type u) const
const boost::dynamic_bitset &exclude() const
boost::dynamic_bitset &exclude()
std::size_t extent() const
vertex &find_vertex(index_type u)
const vertex &find_vertex(index_type u) const
index_type initial_vertex() const
bool is_defined() const
bool is_empty() const
boost::filtered_range<integers_not_contained_in, const std::vector<index_type>> predecessors(index_type u) const
std::size_t rank(index_type u) const
index_type strategy(index_type u) const
structure_graph() = default
structure_graph(const std::vector<vertex> &vertices, index_type initial_vertex, const boost::dynamic_bitset<> &exclude)
boost::filtered_range<integers_not_contained_in, const std::vector<index_type>> successors(index_type u) const
boost::filtered_range<vertices_not_contained_in, const std::vector<vertex>> vertices() const