mcrl2::pbes_system::structure_graph
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/pbes/structure_graph.h

.. cpp:class:: mcrl2::pbes_system::structure_graph

  

  

Public types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::pbes_system::structure_graph::decoration_type

  **Values:**

    * **d_disjunction** 

  * **d_conjunction** 

  * **d_true** 

  * **d_false** 

  * **d_none** 


  
  

  

.. cpp:type:: mcrl2::pbes_system::structure_graph::index_type

  typedef for :cpp:type:`unsigned int`
  
  

  

Friends
-------------------------------------------------------------------------------

friend struct :cpp:type:`mcrl2::pbes_system::structure_graph::detail::manual_structure_graph_builder`
  
  

  

friend struct :cpp:type:`mcrl2::pbes_system::structure_graph::detail::structure_graph_builder`
  
  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: boost::dynamic_bitset mcrl2::pbes_system::structure_graph::m_exclude
  
  

  

.. cpp:member:: index_type mcrl2::pbes_system::structure_graph::m_initial_vertex
  
  

  

.. cpp:member:: atermpp::vector< vertex > mcrl2::pbes_system::structure_graph::m_vertices
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: const std::vector<index_type>& all_predecessors(index_type u) const
  
  

  

.. cpp:function:: const std::vector<index_type>& all_successors(index_type u) const
  
  

  

.. cpp:function:: const atermpp::vector<vertex>& all_vertices() const
  
  

  

.. cpp:function:: bool contains(index_type u) const
  
  

  

.. cpp:function:: decoration_type decoration(index_type u) const
  
  

  

.. cpp:function:: const boost::dynamic_bitset& exclude() const
  
  

  

.. cpp:function:: boost::dynamic_bitset& exclude()
  
  

  

.. cpp:function:: std::size_t extent() const
  
  

  

.. cpp:function:: vertex& find_vertex(index_type u)
  
  

  

.. cpp:function:: const vertex& find_vertex(index_type u) const
  
  

  

.. cpp:function:: index_type initial_vertex() const
  
  

  

.. cpp:function:: bool is_defined() const
  
  

  

.. cpp:function:: bool is_empty() const
  
  

  

.. cpp:function:: boost::filtered_range<integers_not_contained_in, const std::vector<index_type> > predecessors(index_type u) const
  
  

  

.. cpp:function:: std::size_t rank(index_type u) const
  
  

  

.. cpp:function:: index_type strategy(index_type u) const
  
  

  

.. cpp:function:: structure_graph()=default
  
  

  

.. cpp:function:: structure_graph(atermpp::vector< vertex > vertices, index_type initial_vertex, boost::dynamic_bitset<> exclude)
  
  

  

.. cpp:function:: boost::filtered_range<integers_not_contained_in, const std::vector<index_type> > successors(index_type u) const
  
  

  

.. cpp:function:: boost::filtered_range<vertices_not_contained_in, const atermpp::vector<vertex> > vertices() const