package KaSim

  1. Overview
  2. Docs
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
type step_kind =
  1. | Dummy
  2. | Beginning
  3. | Collect_traces
  4. | Causal_compression
  5. | Weak_compression
  6. | Strong_compression
  7. | Iteration of int
  8. | Story of int
  9. | Partial_order_reduction
  10. | Siphon_detection
  11. | Decompose_initial_state
  12. | Agent_ids_disambiguation
  13. | Pseudo_inverse_deletion
  14. | Remove_events_after_last_observable
  15. | Compression
  16. | Build_grid
  17. | Build_configuration
  18. | Transitive_closure
  19. | Graph_reduction
  20. | Graph_conversion
  21. | Cannonic_form_computation
  22. | Store_trace
  23. | Removing_blacklisted_events
  24. | Blacklisting_events
  25. | Global_initialization
  26. | Domains_initialization
  27. | Domain_initialization of string
  28. | Apply_rule of int
  29. | Initial_state of int
  30. | Scan_rule_static of int
  31. | Scan_rule_dynamic of int
  32. | Regular_influences
  33. | Side_effects_influences
  34. | Merge_influences
  35. | KaSim_compilation
  36. | KaSa_precompilation
  37. | KaSa_lexing
  38. | KaSa_linking
  39. | Influence_map of string
  40. | Internal_influence_map of string
  41. | LKappa_signature
val string_of_step_kind : step_kind -> string
val print_step_kind : Remanent_parameters_sig.parameters -> step_kind -> unit
module type StoryStats = sig ... end