mcrl2/pbes/pbessolve_attractors.h

Include file:

#include "mcrl2/pbes/pbessolve_attractors.h"

add your file description here.

Classes

• mcrl2::pbes_system::global_local_strategy
• mcrl2::pbes_system::global_strategy
• mcrl2::pbes_system::local_strategy
• mcrl2::pbes_system::no_strategy

Functions

vertex_set mcrl2::pbes_system::attr_default(const StructureGraph &G, vertex_set A, std::size_t alpha)

vertex_set mcrl2::pbes_system::attr_default_generic(const StructureGraph &G, vertex_set A, std::size_t alpha, Strategy tau)

vertex_set mcrl2::pbes_system::attr_default_no_strategy(const StructureGraph &G, vertex_set A, std::size_t alpha)

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)

deque_vertex_set mcrl2::pbes_system::exclusive_predecessors(const StructureGraph &G, const vertex_set &A)

bool mcrl2::pbes_system::includes_successors(const StructureGraph &G, typename StructureGraph::index_type u, const VertexSet &A)

void mcrl2::pbes_system::insert_predecessors(const StructureGraph &G, structure_graph::index_type u, const vertex_set &A, deque_vertex_set &todo)