package mlcuddidl

  1. Overview
  2. Docs
type d
type v
type 'a t
type reorder =
  1. | REORDER_SAME
  2. | REORDER_NONE
  3. | REORDER_RANDOM
  4. | REORDER_RANDOM_PIVOT
  5. | REORDER_SIFT
  6. | REORDER_SIFT_CONVERGE
  7. | REORDER_SYMM_SIFT
  8. | REORDER_SYMM_SIFT_CONV
  9. | REORDER_WINDOW2
  10. | REORDER_WINDOW3
  11. | REORDER_WINDOW4
  12. | REORDER_WINDOW2_CONV
  13. | REORDER_WINDOW3_CONV
  14. | REORDER_WINDOW4_CONV
  15. | REORDER_GROUP_SIFT
  16. | REORDER_GROUP_SIFT_CONV
  17. | REORDER_ANNEALING
  18. | REORDER_GENETIC
  19. | REORDER_LINEAR
  20. | REORDER_LINEAR_CONVERGE
  21. | REORDER_LAZY_SIFT
  22. | REORDER_EXACT
type aggregation =
  1. | NO_CHECK
  2. | GROUP_CHECK
  3. | GROUP_CHECK2
  4. | GROUP_CHECK3
  5. | GROUP_CHECK4
  6. | GROUP_CHECK5
  7. | GROUP_CHECK6
  8. | GROUP_CHECK7
  9. | GROUP_CHECK8
  10. | GROUP_CHECK9
type lazygroup =
  1. | LAZY_NONE
  2. | LAZY_SOFT_GROUP
  3. | LAZY_HARD_GROUP
  4. | LAZY_UNGROUP
type vartype =
  1. | VAR_PRIMARY_INPUT
  2. | VAR_PRESENT_STATE
  3. | VAR_NEXT_STATE
type mtr =
  1. | MTR_DEFAULT
  2. | MTR_FIXED
type error =
  1. | NO_ERROR
  2. | MEMORY_OUT
  3. | TOO_MANY_NODES
  4. | MAX_MEM_EXCEEDED
  5. | INVALID_ARG
  6. | INTERNAL_ERROR
type dt = d t
type vt = v t
type tbool =
  1. | False
  2. | True
  3. | Top
val string_of_reorder : reorder -> string
val string_of_error : error -> string
val print_limit : int ref
val set_gc : int -> (unit -> unit) -> (unit -> unit) -> unit
val srandom : 'a t -> int -> unit
val _make : bool -> int -> int -> int -> int -> int -> 'a t
val make_d : ?numVars:int -> ?numVarsZ:int -> ?numSlots:int -> ?cacheSize:int -> ?maxMemory:int -> unit -> d t
val make_v : ?numVars:int -> ?numVarsZ:int -> ?numSlots:int -> ?cacheSize:int -> ?maxMemory:int -> unit -> v t
val debugcheck : 'a t -> bool
val check_keys : 'a t -> int
val copy_shr : 'a -> 'a
val level_of_var : 'a t -> int -> int
val var_of_level : 'a t -> int -> int
val reduce_heap : 'a t -> reorder -> int -> unit
val shuffle_heap : 'a t -> int array -> unit
val garbage_collect : 'a t -> int
val flush : 'a t -> unit
val enable_autodyn : 'a t -> reorder -> unit
val disable_autodyn : 'a t -> unit
val autodyn_status : 'a t -> reorder option
val group : 'a t -> int -> int -> mtr -> 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_error : 'a t -> error
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