|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of BDDFactory.GCStats in net.sf.javabdd |
Fields in net.sf.javabdd declared as BDDFactory.GCStats | |
protected BDDFactory.GCStats |
BDDFactory.gcstats
Singleton object for GC statistics. |
Methods in net.sf.javabdd that return BDDFactory.GCStats | |
BDDFactory.GCStats |
BDDFactory.getGCStats()
Return the current GC statistics. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |