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 and Description
static BDDFactory.ReorderMethod	BDDFactory.REORDER_NONE No reordering.
static BDDFactory.ReorderMethod	BDDFactory.REORDER_RANDOM Selects a random position for each variable.
static BDDFactory.ReorderMethod	BDDFactory.REORDER_SIFT Reordering where each block is moved through all possible positions.
static BDDFactory.ReorderMethod	BDDFactory.REORDER_SIFTITE Same as REORDER_SIFT, but the process is repeated until no further progress is done.
static BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN2 Reordering using a sliding window of 2.
static BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN2ITE Reordering using a sliding window of 2, iterating until no further progress.
static BDDFactory.ReorderMethod	BDDFactory.REORDER_WIN3 Reordering using a sliding window of 3.
static 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 and Description
abstract BDDFactory.ReorderMethod	BDDFactory.getReorderMethod() Returns the current reorder method as defined by autoReorder.
BDDFactory.ReorderMethod	JFactory.getReorderMethod()
BDDFactory.ReorderMethod	MicroFactory.getReorderMethod()
BDDFactory.ReorderMethod	TestBDDFactory.getReorderMethod()
BDDFactory.ReorderMethod	TypedBDDFactory.getReorderMethod()
BDDFactory.ReorderMethod	UberMicroFactory.getReorderMethod()

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

Modifier and Type	Method and Description
abstract void	BDDFactory.autoReorder(BDDFactory.ReorderMethod method) Enables automatic reordering.
void	JFactory.autoReorder(BDDFactory.ReorderMethod method)
void	MicroFactory.autoReorder(BDDFactory.ReorderMethod method)
void	TestBDDFactory.autoReorder(BDDFactory.ReorderMethod method)
void	TypedBDDFactory.autoReorder(BDDFactory.ReorderMethod method)
void	UberMicroFactory.autoReorder(BDDFactory.ReorderMethod method)
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, int max)
void	MicroFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	TestBDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	TypedBDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	UberMicroFactory.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)
void	MicroFactory.reorder(BDDFactory.ReorderMethod m)
void	TestBDDFactory.reorder(BDDFactory.ReorderMethod m)
void	TypedBDDFactory.reorder(BDDFactory.ReorderMethod m)
void	UberMicroFactory.reorder(BDDFactory.ReorderMethod m)