edu.toronto.cs.mdd
Class MDDCacheStub

java.lang.Object
  extended by edu.toronto.cs.mdd.MDDCacheStub
All Implemented Interfaces:
MDDNodeCache

public class MDDCacheStub
extends java.lang.Object
implements MDDNodeCache


Constructor Summary
MDDCacheStub()
          Constructor.
 
Method Summary
 void cleanup()
          explicitly tell cache to clean up old entries.
 MDDNode find(java.lang.Object key, MDDNode node1)
           
 MDDNode find(java.lang.Object key, MDDNode node1, MDDNode node2)
           
 void insert(java.lang.Object key, MDDNode m, MDDNode answer)
           
 void insert(java.lang.Object key, MDDNode m1, MDDNode m2, MDDNode answer)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDDCacheStub

public MDDCacheStub()
Constructor.

Method Detail

find

public MDDNode find(java.lang.Object key,
                    MDDNode node1,
                    MDDNode node2)
Specified by:
find in interface MDDNodeCache

find

public MDDNode find(java.lang.Object key,
                    MDDNode node1)
Specified by:
find in interface MDDNodeCache

insert

public void insert(java.lang.Object key,
                   MDDNode m1,
                   MDDNode m2,
                   MDDNode answer)
Specified by:
insert in interface MDDNodeCache

insert

public void insert(java.lang.Object key,
                   MDDNode m,
                   MDDNode answer)
Specified by:
insert in interface MDDNodeCache

cleanup

public void cleanup()
Description copied from interface: MDDNodeCache
explicitly tell cache to clean up old entries.

Specified by:
cleanup in interface MDDNodeCache