package mlcuddidl

You can search for identifiers within the package.

in-package search v0.2.0

cudd
- Cudd
  - Add
  - Bdd
  - Cache
  - Custom
  - Hash
  - Man
  - Mapleaf
  - Memo
  - Mtbdd
  - Mtbddc
  - PWeakke
  - User
  - Vdd
  - Weakke
    
    Compare
    
    Make
    
    H
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

val restrict : bool ref

val mapleaf1 : ('a -> 'b) -> 'a Vdd.t -> 'b Vdd.t

val retractivemapleaf1 : 
  default:'a Vdd.t ->
  (Bdd.vt -> 'b -> Bdd.vt * 'a) ->
  'b Vdd.t ->
  'a Vdd.t

val expansivemapleaf1 : 
  default:'a Vdd.t ->
  merge:('a Vdd.t -> 'a Vdd.t -> 'a Vdd.t) ->
  (Bdd.vt -> 'b -> Bdd.vt * 'a) ->
  'b Vdd.t ->
  'a Vdd.t

val combineleaf1 : 
  default:'c ->
  combine:('b -> 'c -> 'c) ->
  (Bdd.vt -> 'a -> 'b) ->
  'a Vdd.t ->
  'c

val mapleaf2 : ('a -> 'b -> 'c) -> 'a Vdd.t -> 'b Vdd.t -> 'c Vdd.t

val retractivemapleaf2 : 
  default:'a Vdd.t ->
  (Bdd.vt -> 'b -> 'c -> Bdd.vt * 'a) ->
  'b Vdd.t ->
  'c Vdd.t ->
  'a Vdd.t

val expansivemapleaf2 : 
  default:'a Vdd.t ->
  merge:('a Vdd.t -> 'a Vdd.t -> 'a Vdd.t) ->
  (Bdd.vt -> 'b -> 'c -> Bdd.vt * 'a) ->
  'b Vdd.t ->
  'c Vdd.t ->
  'a Vdd.t

val combineleaf2 : 
  default:'d ->
  combine:('c -> 'd -> 'd) ->
  (Bdd.vt -> 'a -> 'b -> 'c) ->
  'a Vdd.t ->
  'b Vdd.t ->
  'd

val combineleaf_array : 
  default:'c ->
  combine:('b -> 'c -> 'c) ->
  tabsorbant:('a -> bool) option array ->
  (Bdd.vt -> 'a array -> 'b) ->
  'a Vdd.t array ->
  'c

val combineleaf1_array : 
  default:'d ->
  combine:('c -> 'd -> 'd) ->
  ?absorbant:('a -> bool) ->
  tabsorbant:('b -> bool) option array ->
  (Bdd.vt -> 'a -> 'b array -> 'c) ->
  'a Vdd.t ->
  'b Vdd.t array ->
  'd

val combineleaf2_array : 
  default:'e ->
  combine:('d -> 'e -> 'e) ->
  ?absorbant1:('a -> bool) ->
  ?absorbant2:('b -> bool) ->
  tabsorbant:('c -> bool) option array ->
  (Bdd.vt -> 'a -> 'b -> 'c array -> 'd) ->
  'a Vdd.t ->
  'b Vdd.t ->
  'c Vdd.t array ->
  'e

val combineretractive : (Bdd.vt * 'a) -> 'a Vdd.t -> 'a Vdd.t

val combineexpansive : 
  default:'a Vdd.t ->
  merge:('a Vdd.t -> 'b Vdd.t -> 'c Vdd.t) ->
  (Bdd.vt * 'a) ->
  'b Vdd.t ->
  'c Vdd.t