mlcuddidl 3.0.5 · OCaml Package

type d

type v

type 'a t

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

type aggregation =

| NO_CHECK
| GROUP_CHECK
| GROUP_CHECK2
| GROUP_CHECK3
| GROUP_CHECK4
| GROUP_CHECK5
| GROUP_CHECK6
| GROUP_CHECK7
| GROUP_CHECK8
| GROUP_CHECK9

type lazygroup =

| LAZY_NONE
| LAZY_SOFT_GROUP
| LAZY_HARD_GROUP
| LAZY_UNGROUP

type vartype =

| VAR_PRIMARY_INPUT
| VAR_PRESENT_STATE
| VAR_NEXT_STATE

type mtr =

| MTR_DEFAULT
| MTR_FIXED

type error =

| NO_ERROR
| MEMORY_OUT
| TOO_MANY_NODES
| MAX_MEM_EXCEEDED
| INVALID_ARG
| INTERNAL_ERROR

type dt = d t

type vt = v t

type tbool =

| False
| True
| 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 -> int

val set_max_mem : 'a t -> int -> 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

package mlcuddidl