il2.inf.rc
Class CachingScheme
Object
CachingScheme
public class CachingScheme
- extends Object
CachingScheme
public CachingScheme(DGraph dgraph,
boolean cacheUpOnly)
cachedNodes
public Set cachedNodes()
recursiveCalls
public double recursiveCalls()
allocatedCacheEntries
public BigInteger allocatedCacheEntries()
dgraph
public DGraph dgraph()
recursiveCallsFullCaching
public double recursiveCallsFullCaching()
cacheEntriesFullCaching
public BigInteger cacheEntriesFullCaching()
fullCaching
public void fullCaching()
allocateGreedily
public boolean allocateGreedily(long cachesRequested)
Copyright 2010 UCLA Automated Reasoning Group