Did you know ... Search Documentation:
Pack pac -- prolog/zdd/zdd-array.pl
PublicShow source
 memochk(+Q) is det
Assuming a given Q = X-V, unify V with the value of key X stored in the hash table.
 cofact(?X, ?C) is det
 cofact(?X, ?C, +State) is det
Either X is unified with an index of a triple C, or unify C with the term (triple t/3) stored at location X of ROZDD as an array.

Undocumented predicates

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

 open_state(Arg1)
 open_state(Arg1, Arg2)
 close_state(Arg1)
 memo(Arg1)
 memo(Arg1, Arg2)
 memochk(Arg1, Arg2)
 memoq(Arg1)
 memoq(Arg1, Arg2)
 setmemo(Arg1)
 setmemo(Arg1, Arg2)
 getmemo(Arg1, Arg2)
 getmemo(Arg1, Arg2, Arg3)