Index of types


A
add [Cudd.Add]
Public type for exploring the abstract type t
aggregation [Cudd.Man]
Type of aggregation methods.

B
bdd [Cudd.Bdd]
Public type for exploring the abstract type t

C
capsule [Cudd.Mtbddc]
common [Cudd.User]
Common information to all operations
common [Cudd.Custom]
Common information
compare [Cudd.PWeakke]
compare [Cudd.Weakke]

D
d [Cudd.Man]
Indicates that a CUDD manager manipulates standard ADDs with leaves of type C double
data [Cudd.Weakke.S]
The type of the elements stored in the table.
dt [Cudd.Bdd]
dt [Cudd.Man]

E
error [Cudd.Man]
Type of error when CUDD raises an exception.
exist [Cudd.Add]
exist [Cudd.User]
exist [Cudd.Custom]
Existential quantification
existand [Cudd.Add]
existand [Cudd.User]
existand [Cudd.Custom]
Existential quantification combined with intersection
existandop1 [Cudd.Add]
existandop1 [Cudd.User]
existandop1 [Cudd.Custom]
Existential quantification combined with intersection
existop1 [Cudd.Add]
existop1 [Cudd.User]
existop1 [Cudd.Custom]
Existop1ential quantification

H
hashtbl [Cudd.Weakke]

L
lazygroup [Cudd.Man]
Group type for lazy sifting.

M
memo_discr [Cudd.Memo]
mlvalue [Cudd.Custom]
mtbdd [Cudd.Mtbddc]
Public type for exploring the abstract type t
mtbdd [Cudd.Mtbdd]
Public type for exploring the abstract type t
mtr [Cudd.Man]
Is variable order inside group fixed or not ?

O
op1 [Cudd.Add]
op1 [Cudd.User]
op1 [Cudd.Custom]
Unary operation
op2 [Cudd.Add]
op2 [Cudd.User]
op2 [Cudd.Custom]
Binary operation
op3 [Cudd.Add]
op3 [Cudd.User]
op3 [Cudd.Custom]
Ternary operation
opG [Cudd.Add]
opG [Cudd.User]
N-ary general operation
opG [Cudd.Custom]
N-ary general operation
opN [Cudd.Add]
opN [Cudd.User]
N-ary operation
opN [Cudd.Custom]
N-ary operation

P
pid [Cudd.User]
Identifiers of closures used in shared memoization tables
pid [Cudd.Custom]

R
reorder [Cudd.Man]
Reordering method.

T
t [Cudd.Add]
Abstract type for ADDs (that are necessarily attached to a manager of type Man.d Man.t).
t [Cudd.Mtbddc]
Type of MTBDDs.
t [Cudd.Mtbdd]
Type of MTBDDs.
t [Cudd.PWeakke]
t [Cudd.Weakke.S]
The type of tables that contain elements of type data.
t [Cudd.Weakke]
t [Cudd.Vdd]
Type of VDDs (that are necessarily attached to a manager of type Man.v Man.t).
t [Cudd.Bdd]
Abstract type for BDDs.
t [Cudd.Man]
Type of CUDD managers, where 'a is either d or v
t [Cudd.Memo]
Type of memoization table
t [Cudd.Cache]
Abstract type for local caches
t [Cudd.Hash]
Abstract type for user hashtables
table [Cudd.Mtbddc]
Hashtable to manage unique constants
table [Cudd.Mtbdd]
Hashtable to manage unique constants
tbool [Cudd.Man]
test2 [Cudd.Add]
test2 [Cudd.User]
test2 [Cudd.Custom]
Binary test

U
unique [Cudd.Mtbddc]
Type of unique representants of MTBDD leaves of type 'a.
unique [Cudd.Mtbdd]
Type of unique representants of MTBDD leaves of type 'a.

V
v [Cudd.Man]
Indicates that a CUDD manager manipulates ``custom'' ADDs with leaves of type an OCaml value, see modules Cudd.Mtbdd and Cudd.Mtbddc.
vartype [Cudd.Man]
Variable type.
vdd [Cudd.Vdd]
Public type for exploring the abstract type t
vt [Cudd.Bdd]
Shortcuts
vt [Cudd.Man]
Shortcuts