|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BDDFactory.CacheStats | |
---|---|
net.sf.javabdd |
Uses of BDDFactory.CacheStats in net.sf.javabdd |
---|
Methods in net.sf.javabdd that return BDDFactory.CacheStats | |
---|---|
BDDFactory.CacheStats |
MicroFactory.getCacheStats()
|
BDDFactory.CacheStats |
BDDFactory.getCacheStats()
Return the current cache statistics for this BDD factory. |
BDDFactory.CacheStats |
UberMicroFactory.getCacheStats()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |