edu.toronto.cs.jcudd
Interface JMVLCuddConstants
- All Known Implementing Classes:
- JMVLCudd
public interface JMVLCuddConstants
CUDD_REORDER_SAME
static final int CUDD_REORDER_SAME
CUDD_REORDER_NONE
static final int CUDD_REORDER_NONE
CUDD_REORDER_RANDOM
static final int CUDD_REORDER_RANDOM
CUDD_REORDER_RANDOM_PIVOT
static final int CUDD_REORDER_RANDOM_PIVOT
CUDD_REORDER_SIFT
static final int CUDD_REORDER_SIFT
CUDD_REORDER_SIFT_CONVERGE
static final int CUDD_REORDER_SIFT_CONVERGE
CUDD_REORDER_SYMM_SIFT
static final int CUDD_REORDER_SYMM_SIFT
CUDD_REORDER_SYMM_SIFT_CONV
static final int CUDD_REORDER_SYMM_SIFT_CONV
CUDD_REORDER_WINDOW2
static final int CUDD_REORDER_WINDOW2
CUDD_REORDER_WINDOW3
static final int CUDD_REORDER_WINDOW3
CUDD_REORDER_WINDOW4
static final int CUDD_REORDER_WINDOW4
CUDD_REORDER_WINDOW2_CONV
static final int CUDD_REORDER_WINDOW2_CONV
CUDD_REORDER_WINDOW3_CONV
static final int CUDD_REORDER_WINDOW3_CONV
CUDD_REORDER_WINDOW4_CONV
static final int CUDD_REORDER_WINDOW4_CONV
CUDD_REORDER_GROUP_SIFT
static final int CUDD_REORDER_GROUP_SIFT
CUDD_REORDER_GROUP_SIFT_CONV
static final int CUDD_REORDER_GROUP_SIFT_CONV
CUDD_REORDER_ANNEALING
static final int CUDD_REORDER_ANNEALING
CUDD_REORDER_GENETIC
static final int CUDD_REORDER_GENETIC
CUDD_REORDER_LINEAR
static final int CUDD_REORDER_LINEAR
CUDD_REORDER_LINEAR_CONVERGE
static final int CUDD_REORDER_LINEAR_CONVERGE
CUDD_REORDER_EXACT
static final int CUDD_REORDER_EXACT