package pgsolver

  1. Overview
  2. Docs
A collection of tools for generating, manipulating and - most of all - solving parity games

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

v4.1.tar.gz
sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea
md5=db269947469d6236a81bed558cbcc5b6

doc/pgsolver/Univsolve/index.html

Module Univsolve

type universal_solve_options = {
  1. generate_statistics : bool;
  2. verb_level : Basics.verbosity_level;
  3. decompose_sccs : bool;
  4. global_optimization : bool;
  5. solve_special_games : bool;
  6. local_optimization : bool;
  7. globalopt_remove_useless_self_cycles : bool;
  8. globalopt_solve_useful_self_cycles : bool;
  9. solvespec_single_parity : bool;
  10. solvespec_single_player : bool;
  11. localopt_priority_propagation : bool;
  12. localopt_compact_priorities : bool;
}
val universal_solve_def_options : bool -> int -> universal_solve_options
val universal_solve_global_options : (bool -> int -> universal_solve_options) ref
val universal_solve_init_options_verbose : (bool -> int -> universal_solve_options) -> universal_solve_options
type universal_solve_statistics = {
  1. overall_timing : Tcstiming.SimpleTiming.timing_object;
  2. universal_timing : Tcstiming.SimpleTiming.timing_object;
  3. backend_timing : Tcstiming.SimpleTiming.timing_object;
  4. logistics_timing : Tcstiming.SimpleTiming.timing_object;
  5. stats_timing : Tcstiming.SimpleTiming.timing_object;
  6. overall_solved_nodes : int ref;
  7. universal_solved_nodes : int ref;
  8. backend_solved_nodes : int ref;
  9. backend_investigated_nodes : int ref;
  10. index_sum : int ref;
  11. index_reduced_sum : int ref;
  12. index_count : int ref;
  13. global_timing : Tcstiming.SimpleTiming.timing_object;
  14. global_timing_without_attractor : Tcstiming.SimpleTiming.timing_object;
  15. global_nodes : int ref;
  16. global_nodes_without_attractor : int ref;
  17. special_timing : Tcstiming.SimpleTiming.timing_object;
  18. special_nodes : int ref;
  19. local_timing : Tcstiming.SimpleTiming.timing_object;
  20. decomposition_timing : Tcstiming.SimpleTiming.timing_object;
  21. max_recursion_depth : int ref;
  22. recursive_calls : int ref;
  23. toplevel_sccs : int ref;
  24. largest_toplevel_scc : int ref;
  25. total_sccs : int ref;
  26. attractor_timing : Tcstiming.SimpleTiming.timing_object;
  27. attractor_investigated_nodes : int ref;
  28. attractor_solved_nodes : int ref;
  29. globalopt_remove_useless_self_cycles_nodes : int ref;
  30. globalopt_remove_useless_self_cycles_timing : Tcstiming.SimpleTiming.timing_object;
  31. globalopt_solve_useful_self_cycles_nodes : int ref;
  32. globalopt_solve_useful_self_cycles_timing : Tcstiming.SimpleTiming.timing_object;
  33. solvespec_single_parity_nodes : int ref;
  34. solvespec_single_parity_timing : Tcstiming.SimpleTiming.timing_object;
  35. solvespec_single_player_nodes : int ref;
  36. solvespec_single_player_timing : Tcstiming.SimpleTiming.timing_object;
  37. localopt_priority_propagation_timing : Tcstiming.SimpleTiming.timing_object;
  38. localopt_compact_priorities_timing : Tcstiming.SimpleTiming.timing_object;
}
val universal_solve_format_stats : universal_solve_statistics -> string
val universal_solve_init_statistics : unit -> universal_solve_statistics