Uses of Class
com.github.javabdd.BDDFactory.ReorderStats

Uses of BDDFactory.ReorderStats in com.github.javabdd

Fields in com.github.javabdd declared as BDDFactory.ReorderStats

Modifier and Type	Field	Description
protected BDDFactory.ReorderStats	BDDFactory.reorderstats	Singleton object for reorder statistics.

Methods in com.github.javabdd that return BDDFactory.ReorderStats

Modifier and Type	Method	Description
BDDFactory.ReorderStats	BDDFactory.getReorderStats()	Return the current reordering statistics for this BDD factory.

Methods in com.github.javabdd with parameters of type BDDFactory.ReorderStats

Modifier and Type	Method	Description
protected void	BDDFactory.bdd_default_reohandler(boolean prestate, BDDFactory.ReorderStats s)