Did you know ... Search Documentation:
Pack pac -- prolog/misc/zdd-array.pl
PublicShow source
 completing_optional_args(+X, +Y, -Z) is det
option Z is unified with Y completed with default option X.
 open_zdd(+G) is det
Backtrackably set a global G to an initial ROZDD.
 open_zdd is det
Backtrackably set a global rozdd to an initial ROZDD.
 open_zdd(+G, +Args) is det
Backtrackably set a global G to an initial ROZDD with with an option list Args.
 set_extra(+G, +Extra) is det
Set an extra parameter assoc Extra to a global G.
 set_extra(+G, +K, +V) is det
Set a value of a key K of a global G to V.
 get_extra(+G, -Extra) is det
Get the extra parameter assoc of a global G, and unify Extra with it.
 get_extra(+G, +K, -V) is det
Unify V so that K-V is in the assoc of global G.
 zdd_max(-I) is det
Unify I with an index of the last entry of the ROZDD.
 zdd_memo(+A, +G) is det
With A = X-V, V is unified with value of key X stored in the hash table.
 zdd_memochk(+X, -V) is det
Unify V with the value of key X stored in the hash table.
 zdd_dump is det
Dump the content of the current default ROZDD.
 zdd_dump(+G) is det
Dump the content of the ROZDD bound to G.
 init_index(-X) is det
Initialize an itereated extending array X.
 index(+I, +A, ?X) is det
X is unified with the I-th element of array A.
 getid(+X, -I) is det
Unify I with the integer index of the entry in the default ROZDD, where X is stored.
 getid(+G, +X, -I) is det
Unify I with the integer index of the entry in the ROZDD bound to G, where X is stored.
 open_array(-H) is det
Unify H with an initial array.
 open_memo(+G, +N) is det
Create a hash table with N entries, and set a global G to it.
 hash_memo(X, R, V) is det
Unify V with the value of key X which is stored in the hash table of rozdd R.
 memo(+X, +G) is det
Put a term X on the hash table bound to a global variable G at index which is the value of the key part of X.
 memo_update(+X, +H, +E) is det
Put a term E on the hash table H at the entry with key X. If the table is full, it is extended by double.
 memochk(+X, +G) is det
Check if X stored in a hash table bound to a global H at an entry whose index is the hash vlue for the key part of X.
 new_elem(+X, +Z, -I) is det
Unify I with an integer as the index for entry X in a ROZDD which is a possibly extension of a ROZDD Z so that the new entry is availabe.
 get_elem(+X, +Z, -Y) is det
Unify Y with X-th element of the ROZDD stored in Z.
 set_elem(X, Z, Y) is det
set X-th element of the vector component of Z to Y.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 close_zdd
 close_zdd(Arg1)
 get_vector(Arg1, Arg2, Arg3)
 open_memo(Arg1)
 memochk(Arg1)
 zdd_memo(Arg1)
 zdd_memochk(Arg1, Arg2, Arg3)