pbessolve_attractors.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::no_strategy
struct	mcrl2::pbes_system::global_strategy< StructureGraph >
struct	mcrl2::pbes_system::local_strategy
struct	mcrl2::pbes_system::global_local_strategy< StructureGraph >

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Functions
template<typename StructureGraph , typename VertexSet >
bool	mcrl2::pbes_system::includes_successors (const StructureGraph &G, typename StructureGraph::index_type u, const VertexSet &A)
template<typename StructureGraph >
deque_vertex_set	mcrl2::pbes_system::exclusive_predecessors (const StructureGraph &G, const vertex_set &A)
template<typename StructureGraph >
void	mcrl2::pbes_system::insert_predecessors (const StructureGraph &G, structure_graph::index_type u, const vertex_set &A, deque_vertex_set &todo)
template<typename StructureGraph , typename Strategy >
vertex_set	mcrl2::pbes_system::attr_default_generic (const StructureGraph &G, vertex_set A, std::size_t alpha, Strategy tau)
template<typename StructureGraph >
vertex_set	mcrl2::pbes_system::attr_default (const StructureGraph &G, vertex_set A, std::size_t alpha)
template<typename StructureGraph >
vertex_set	mcrl2::pbes_system::attr_default_no_strategy (const StructureGraph &G, vertex_set A, std::size_t alpha)
template<typename StructureGraph >
vertex_set	mcrl2::pbes_system::attr_default_with_tau (const StructureGraph &G, vertex_set A, std::size_t alpha, std::array< strategy_vector, 2 > &tau)

Detailed Description

add your file description here.

Definition in file pbessolve_attractors.h.