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 with parameters of type BDDFactory.ReorderStats

Modifier and Type	Method	Description
static void	BDDFactory.defaultReorderStatsCallback(BDDFactory.ReorderStats stats, boolean pre)	Default variable reorder statistics callback.
void	BDDFactory.ReorderStatsCallback.reorder(BDDFactory.ReorderStats stats, boolean pre)	Variable reorder statistics callback.