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.


Method Summary
 void cleanup()
          explicitly tell cache to clean up old entries.
 MDDNode find(java.lang.Object key, MDDNode m)
           
 MDDNode find(java.lang.Object key, MDDNode m1, MDDNode m2)
           
 void insert(java.lang.Object key, MDDNode m, MDDNode answer)
           
 void insert(java.lang.Object key, MDDNode m1, MDDNode m2, MDDNode answer)
           
 

Method Detail

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.