Uses of Class
net.sf.javabdd.BDDFactory.ReorderStats

Uses of BDDFactory.ReorderStats in net.sf.javabdd

Fields in net.sf.javabdd declared as BDDFactory.ReorderStats

protected BDDFactory.ReorderStats

BDDFactory.reorderstats Singleton object for reorder statistics.

Methods in net.sf.javabdd that return BDDFactory.ReorderStats

BDDFactory.ReorderStats

BDDFactory.getReorderStats() Return the current reordering statistics for this BDD factory.

Methods in net.sf.javabdd with parameters of type BDDFactory.ReorderStats

protected void

BDDFactory.bdd_default_reohandler(boolean prestate, BDDFactory.ReorderStats s)