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_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.
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_RANDOM
          Selects a random position for each variable.
 

Methods in net.sf.javabdd that return BDDFactory.ReorderMethod
 BDDFactory.ReorderMethod TypedBDDFactory.getReorderMethod()
           
 BDDFactory.ReorderMethod TestBDDFactory.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 TypedBDDFactory.reorder(BDDFactory.ReorderMethod m)
           
 void TypedBDDFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void TypedBDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
 void TestBDDFactory.reorder(BDDFactory.ReorderMethod m)
           
 void TestBDDFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void TestBDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
 void JFactory.reorder(BDDFactory.ReorderMethod m)
           
 void JFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void JFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
 void JDDFactory.reorder(BDDFactory.ReorderMethod m)
           
 void JDDFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void JDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
 void CUDDFactory.reorder(BDDFactory.ReorderMethod m)
           
 void CUDDFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void CUDDFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
 void CALFactory.reorder(BDDFactory.ReorderMethod m)
           
 void CALFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void CALFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
 void BuDDyFactory.reorder(BDDFactory.ReorderMethod method)
           
 void BuDDyFactory.autoReorder(BDDFactory.ReorderMethod method)
           
 void BuDDyFactory.autoReorder(BDDFactory.ReorderMethod method, int max)
           
abstract  void BDDFactory.reorder(BDDFactory.ReorderMethod m)
          Reorder the BDD with the given method.
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.
 



Copyright © 2003-2004 John Whaley. All Rights Reserved.