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
|