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)