mcrl2/pbes/pbesinst_fatal_attractors.h¶

Include file:

#include "mcrl2/pbes/pbesinst_fatal_attractors.h"

add your file description here.

Functions¶

vertex_set mcrl2::pbes_system::detail::attr_min_rank_generic(const StructureGraph &G, vertex_set A, std::size_t alpha, const vertex_set &U, std::size_t j, Compare compare)¶

vertex_set mcrl2::pbes_system::detail::attr_min_rank_original(const StructureGraph &G, vertex_set A, std::size_t alpha, const vertex_set &U, std::size_t j)¶

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_generic(const StructureGraph &G, const vertex_set &A, const vertex_set &U, std::size_t j, Compare compare)¶

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, std::array<vertex_set, 2> &S, std::array<strategy_vector, 2> &tau, std::size_t equation_count)¶

void mcrl2::pbes_system::detail::fatal_attractors_generic(const simple_structure_graph &G, std::array<vertex_set, 2> &S, std::array<strategy_vector, 2> &tau, std::size_t equation_count, Compare compare)¶

void mcrl2::pbes_system::detail::fatal_attractors_original(const simple_structure_graph &G, std::array<vertex_set, 2> &S, std::array<strategy_vector, 2> &tau, std::size_t equation_count)¶

void mcrl2::pbes_system::detail::find_loops2(const simple_structure_graph &G, std::array<vertex_set, 2> &S, std::array<strategy_vector, 2> &tau, std::size_t equation_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)¶