edu.toronto.cs.mdd
Interface MDDNodeCache
- All Known Implementing Classes:
- MDDCacheStub
public interface MDDNodeCache
This interface defines a cache for MDDNode operation results.
I can't specify it here, but all operations should be
synchronized.
find
MDDNode find(java.lang.Object key,
MDDNode m1,
MDDNode m2)
find
MDDNode find(java.lang.Object key,
MDDNode m)
insert
void insert(java.lang.Object key,
MDDNode m1,
MDDNode m2,
MDDNode answer)
insert
void insert(java.lang.Object key,
MDDNode m,
MDDNode answer)
cleanup
void cleanup()
- explicitly tell cache to clean up old entries.