pbesinst_fatal_attractors.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
template<typename StructureGraph , typename Compare >
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)
template<typename StructureGraph >
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)
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)
template<typename StructureGraph >
std::map< std::size_t, vertex_set >	mcrl2::pbes_system::detail::compute_U_j_map (const StructureGraph &G, const vertex_set &V)
template<typename StructureGraph , typename Compare >
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)
template<typename Compare >
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 (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)
template<typename StructureGraph >
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)
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)

Detailed Description

add your file description here.

Definition in file pbesinst_fatal_attractors.h.