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)
           
 



Copyright © 2003-2007 John Whaley. All Rights Reserved.