package mlcuddidl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type reorder =
| REORDER_SAME
| REORDER_NONE
| REORDER_RANDOM
| REORDER_RANDOM_PIVOT
| REORDER_SIFT
| REORDER_SIFT_CONVERGE
| REORDER_SYMM_SIFT
| REORDER_SYMM_SIFT_CONV
| REORDER_WINDOW2
| REORDER_WINDOW3
| REORDER_WINDOW4
| REORDER_WINDOW2_CONV
| REORDER_WINDOW3_CONV
| REORDER_WINDOW4_CONV
| REORDER_GROUP_SIFT
| REORDER_GROUP_SIFT_CONV
| REORDER_ANNEALING
| REORDER_GENETIC
| REORDER_LINEAR
| REORDER_LINEAR_CONVERGE
| REORDER_LAZY_SIFT
| REORDER_EXACT
val string_of_reorder : reorder -> string
val string_of_error : error -> string
val print_limit : int Pervasives.ref
val srandom : 'a t -> int -> unit
val _make : bool -> int -> int -> int -> int -> int -> 'a t
val debugcheck : 'a t -> bool
val check_keys : 'a t -> int
val level_of_var : 'a t -> int -> int
val var_of_level : 'a t -> int -> int
val shuffle_heap : 'a t -> int array -> unit
val garbage_collect : 'a t -> int
val flush : 'a t -> unit
val disable_autodyn : 'a t -> unit
val ungroupall : 'a t -> unit
val set_varmap : 'a t -> int array -> unit
val get_background : dt -> float
val set_background : dt -> float -> unit
val get_epsilon : dt -> float
val set_epsilon : dt -> float -> unit
val get_min_hit : 'a t -> int
val set_min_hit : 'a t -> int -> unit
val get_max_cache_hard : 'a t -> int
val set_max_cache_hard : 'a t -> int -> unit
val get_looseupto : 'a t -> int
val set_looseupto : 'a t -> int -> unit
val get_max_live : 'a t -> int
val set_max_live : 'a t -> int -> unit
val get_max_mem : 'a t -> int64
val set_max_mem : 'a t -> int64 -> unit
val get_sift_max_swap : 'a t -> int
val set_sift_max_swap : 'a t -> int -> unit
val get_sift_max_var : 'a t -> int
val set_sift_max_var : 'a t -> int -> unit
val get_groupcheck : 'a t -> aggregation
val set_groupcheck : 'a t -> aggregation -> unit
val get_arcviolation : 'a t -> int
val set_arcviolation : 'a t -> int -> unit
val get_crossovers : 'a t -> int
val set_crossovers : 'a t -> int -> unit
val get_population : 'a t -> int
val set_population : 'a t -> int -> unit
val get_recomb : 'a t -> int
val set_recomb : 'a t -> int -> unit
val get_symmviolation : 'a t -> int
val set_symmviolation : 'a t -> int -> unit
val get_max_growth : 'a t -> float
val set_max_growth : 'a t -> float -> unit
val get_max_growth_alt : 'a t -> float
val set_max_growth_alt : 'a t -> float -> unit
val get_reordering_cycle : 'a t -> int
val set_reordering_cycle : 'a t -> int -> unit
val get_max_reorderings : 'a t -> int
val set_max_reorderings : 'a t -> int -> unit
val get_next_autodyn : 'a t -> int
val set_next_autodyn : 'a t -> int -> unit
val get_cache_hits : 'a t -> float
val get_cache_lookups : 'a t -> float
val get_cache_slots : 'a t -> int
val get_cache_used_slots : 'a t -> float
val get_dead : 'a t -> int
val get_gc_time : 'a t -> int
val get_gc_nb : 'a t -> int
val get_keys : 'a t -> int
val get_linear : 'a t -> int -> int -> int
val get_max_cache : 'a t -> int
val get_min_dead : 'a t -> int
val get_node_count : 'a t -> int
val get_node_count_peak : 'a t -> int
val get_reordering_time : 'a t -> int
val get_reordering_nb : 'a t -> int
val get_bddvar_nb : 'a t -> int
val get_zddvar_nb : 'a t -> int
val get_slots : 'a t -> int
val get_used_slots : 'a t -> float
val get_swap_nb : 'a t -> float
val print_info : 'a t -> unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>