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¶
-
atermpp::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¶
-
bool
contains(index_type u) const
-
decoration_type
decoration(index_type u) const
-
boost::dynamic_bitset &
exclude()¶
-
const boost::dynamic_bitset &
exclude() const¶
-
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(atermpp::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
