Uses of Class
net.sf.javabdd.BDDFactory.ReorderMethod

Uses of BDDFactory.ReorderMethod in net.sf.javabdd

Fields in net.sf.javabdd declared as BDDFactory.ReorderMethod

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 net.sf.javabdd that return BDDFactory.ReorderMethod

BDDFactory.ReorderMethod	UberMicroFactory.getReorderMethod()
BDDFactory.ReorderMethod	TypedBDDFactory.getReorderMethod()
BDDFactory.ReorderMethod	TestBDDFactory.getReorderMethod()
BDDFactory.ReorderMethod	MicroFactory.getReorderMethod()
BDDFactory.ReorderMethod	JFactory.getReorderMethod()
BDDFactory.ReorderMethod	JDDFactory.getReorderMethod()
BDDFactory.ReorderMethod	CUDDFactory.getReorderMethod()
BDDFactory.ReorderMethod	CALFactory.getReorderMethod()
BDDFactory.ReorderMethod	BuDDyFactory.getReorderMethod()
abstract BDDFactory.ReorderMethod	BDDFactory.getReorderMethod() Returns the current reorder method as defined by autoReorder.

Methods in net.sf.javabdd with parameters of type BDDFactory.ReorderMethod

void	UberMicroFactory.autoReorder(BDDFactory.ReorderMethod method)
void	TypedBDDFactory.autoReorder(BDDFactory.ReorderMethod method)
void	TestBDDFactory.autoReorder(BDDFactory.ReorderMethod method)
void	MicroFactory.autoReorder(BDDFactory.ReorderMethod method)
void	JFactory.autoReorder(BDDFactory.ReorderMethod method)
void	JDDFactory.autoReorder(BDDFactory.ReorderMethod method)
void	CUDDFactory.autoReorder(BDDFactory.ReorderMethod method)
void	CALFactory.autoReorder(BDDFactory.ReorderMethod method)
void	BuDDyFactory.autoReorder(BDDFactory.ReorderMethod method)
abstract void	BDDFactory.autoReorder(BDDFactory.ReorderMethod method) Enables automatic reordering.
void	UberMicroFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	TypedBDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	TestBDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	MicroFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	JFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	JDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	CUDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	CALFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
void	BuDDyFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
abstract void	BDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max) Enables automatic reordering with the given (maximum) number of reorderings.
void	UberMicroFactory.reorder(BDDFactory.ReorderMethod m)
void	TypedBDDFactory.reorder(BDDFactory.ReorderMethod m)
void	TestBDDFactory.reorder(BDDFactory.ReorderMethod m)
void	MicroFactory.reorder(BDDFactory.ReorderMethod m)
void	JFactory.reorder(BDDFactory.ReorderMethod m)
void	JDDFactory.reorder(BDDFactory.ReorderMethod m)
void	CUDDFactory.reorder(BDDFactory.ReorderMethod m)
void	CALFactory.reorder(BDDFactory.ReorderMethod m)
void	BuDDyFactory.reorder(BDDFactory.ReorderMethod m)
abstract void	BDDFactory.reorder(BDDFactory.ReorderMethod m) Reorder the BDD with the given method.