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 and Description
protected BDDFactory.ReorderStats	BDDFactory.reorderstats Singleton object for reorder statistics.

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

Modifier and Type	Method and 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 and Description
protected void	BDDFactory.bdd_default_reohandler(boolean prestate, BDDFactory.ReorderStats s)