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

Uses of BDDFactory.ReorderMethod in com.github.javabdd

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

Modifier and Type	Field	Description
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_NONE	No reordering.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_RANDOM	Selects a random position for each variable.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_SIFT	Reordering where each block is moved through all possible positions.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_SIFTITE	Same as REORDER_SIFT, but the process is repeated until no further progress is done.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN2	Reordering using a sliding window of 2.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN2ITE	Reordering using a sliding window of 2, iterating until no further progress.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN3	Reordering using a sliding window of 3.
static final BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN3ITE	Reordering using a sliding window of 3, iterating until no further progress.

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

Modifier and Type	Method	Description
abstract BDDFactory.ReorderMethod	BDDFactory.getReorderMethod()	Returns the current reorder method as defined by autoReorder.
BDDFactory.ReorderMethod	JFactory.getReorderMethod()

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

Modifier and Type	Method	Description
abstract void	BDDFactory.autoReorder(BDDFactory.ReorderMethod method)	Enables automatic reordering.
abstract void	BDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)	Enables automatic reordering with the given (maximum) number of reorderings.
void	JFactory.autoReorder(BDDFactory.ReorderMethod method)
void	JFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
abstract void	BDDFactory.reorder(BDDFactory.ReorderMethod m)	Reorder the BDD with the given method.
void	JFactory.reorder(BDDFactory.ReorderMethod m)