mcrl2::pbes_system::structure_graph

Include file:

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

Public types

type mcrl2::pbes_system::structure_graph::decoration_type

Values:

  • d_disjunction

  • d_conjunction

  • d_true

  • d_false

  • d_none

type mcrl2::pbes_system::structure_graph::index_type

typedef for unsigned int

Friends

friend struct mcrl2::pbes_system::structure_graph::detail::manual_structure_graph_builder

friend struct mcrl2::pbes_system::structure_graph::detail::structure_graph_builder

Protected attributes

boost::dynamic_bitset mcrl2::pbes_system::structure_graph::m_exclude
index_type mcrl2::pbes_system::structure_graph::m_initial_vertex
std::vector<vertex> mcrl2::pbes_system::structure_graph::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(std::vector<vertex> vertices, index_type initial_vertex, 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