mcrl2/pbes/pbesinst_fatal_attractors.h

Include file:

#include "mcrl2/pbes/pbesinst_fatal_attractors.h"

add your file description here.

Functions

deque_vertex_set mcrl2::pbes_system::detail::attr_min_rank_original_todo(const StructureGraph &G, const vertex_set &A, const vertex_set &U, std::size_t j)
deque_vertex_set mcrl2::pbes_system::detail::attr_min_rank_todo(const StructureGraph &G, const vertex_set &A, const vertex_set &U, std::size_t j)
vertex_set mcrl2::pbes_system::detail::compute_attractor_set_min_rank(const StructureGraph &G, vertex_set A, std::size_t alpha, const vertex_set &U, std::size_t j)
vertex_set mcrl2::pbes_system::detail::compute_attractor_set_min_rank_original(const StructureGraph &G, vertex_set A, std::size_t alpha, const vertex_set &U, std::size_t j)
std::map<std::size_t, vertex_set> mcrl2::pbes_system::detail::compute_U_j_map(const StructureGraph &G, const vertex_set &V)
void mcrl2::pbes_system::detail::fatal_attractors(const simple_structure_graph &G, vertex_set &S0, vertex_set &S1, std::size_t iteration_count)
void mcrl2::pbes_system::detail::fatal_attractors_original(const simple_structure_graph &G, vertex_set &S0, vertex_set &S1, std::size_t iteration_count)
void mcrl2::pbes_system::detail::insert_in_rank_map(std::map<std::size_t, vertex_set> &U_rank_map, structure_graph::index_type u, std::size_t j, std::size_t n)
void mcrl2::pbes_system::detail::set_strategy(const StructureGraph &G, const vertex_set &A, structure_graph::index_type u, std::size_t alpha)