SableJBDD.bdd.util
Interface Profiling

All Known Subinterfaces:
BddCache, BddNodeFactory, TripleIntKeyCache, UniqueTable
All Known Implementing Classes:
AbstractBddCache, AbstractUniqueTable, BddNodePool, CacheProfiler, DummyNodePool, EmptyBddCache, IdealCache, MultiWayCache, OneWayCache, PhantomUniqueTable

public interface Profiling

A cache profiling interface.


Field Summary
static boolean PROFILING
           
 
Method Summary
 void reportStatistics(java.io.PrintStream out)
           
 

Field Detail

PROFILING

public static final boolean PROFILING
See Also:
Constant Field Values
Method Detail

reportStatistics

public void reportStatistics(java.io.PrintStream out)