package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
module A = Array
module S = Mods.IntSet
module M = Mods.IntMap
val ignore_flow_from_outgoing_siphon : bool
val check_mode : bool
type algo_type =
| Top_down
| Bottom_up
| Check
type order =
| Increasing_with_last_event
| Decreasing_without_last_event
type config = {
do_tick : bool;
keep_all_nodes : bool;
cut_transitive_path : bool;
stat_trans_closure_for_big_graphs : bool;
max_index : int;
algo : algo_type;
}
val config_big_graph_with_progress_bar : config
val config_big_graph_without_progress_bar : config
val config_small_graph : config
val swap : ( 'a -> 'b -> 'c ) -> 'b -> 'a -> 'c
val ignore_fst : 'a -> 'b -> 'a
val compare_succ : ( 'a -> 'a -> bool ) -> 'a list -> bool
val strictly_increasing : int list -> bool
val strictly_decreasing : int list -> bool
val concat : 'a list -> 'a list -> 'a list
val print_list : Format.formatter -> string list -> unit
val check : Format.formatter -> ( string list -> bool ) -> ( string list -> string list -> string list ) -> string -> string list -> string list -> string list
val is_strict_sublist : ( 'a -> 'a -> bool ) -> 'a list -> 'a list -> bool
val insert_elt : ( 'a -> 'a -> int ) -> 'a -> 'a list -> 'a list
val diff_list : ( 'a -> 'a -> bool ) -> 'a list -> 'a list -> 'a list
val compare_bool : 'a -> 'a -> bool
val diff_list_decreasing : int list -> int list -> int list
val merge_list_decreasing : int list -> int list -> int list
val closure_bottom_up_with_fold : Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> StoryProfiling.step_kind option -> config -> S.t M.t -> ( M.elt -> bool ) -> ( Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> M.elt -> int list -> 'b -> Exception.method_handler * StoryProfiling.StoryStats.log_info * ( 'b, 'c ) Stop.stop ) -> 'b -> ( Exception.method_handler * StoryProfiling.StoryStats.log_info * 'b, Exception.method_handler * StoryProfiling.StoryStats.log_info * 'c ) Stop.stop
val closure_bottom_up : Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> StoryProfiling.step_kind option -> config -> S.t M.t -> ( M.elt -> bool ) -> Exception.method_handler * StoryProfiling.StoryStats.log_info * (int list array * order)
val closure_top_down : Remanent_parameters_sig.parameters -> 'a -> 'b -> 'c -> 'd -> config -> S.t M.t -> ( S.elt -> bool ) -> int -> 'c * 'b * (S.elt list array * order)
val get_list_in_increasing_order_with_last_event : int -> (int list array * order) -> int list
val closure_check : Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> StoryProfiling.step_kind option -> config -> S.t M.t -> ( M.elt -> bool ) -> Exception.method_handler * StoryProfiling.StoryStats.log_info * (S.elt list array * order)
val closure : Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> StoryProfiling.step_kind option -> config -> S.t M.t -> ( S.elt -> bool ) -> Exception.method_handler * StoryProfiling.StoryStats.log_info * (S.elt list array * order)
val reduction_top_down : Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> S.t M.t -> Exception.method_handler * StoryProfiling.StoryStats.log_info * S.t M.t
val reduction : Remanent_parameters_sig.parameters -> 'a -> StoryProfiling.StoryStats.log_info -> Exception.method_handler -> S.t M.t -> Exception.method_handler * StoryProfiling.StoryStats.log_info * S.t M.t