edu.toronto.cs.jcudd
Interface JMVLCuddConstants

All Known Implementing Classes:
JMVLCudd

public interface JMVLCuddConstants


Field Summary
static int CUDD_REORDER_ANNEALING
           
static int CUDD_REORDER_EXACT
           
static int CUDD_REORDER_GENETIC
           
static int CUDD_REORDER_GROUP_SIFT
           
static int CUDD_REORDER_GROUP_SIFT_CONV
           
static int CUDD_REORDER_LINEAR
           
static int CUDD_REORDER_LINEAR_CONVERGE
           
static int CUDD_REORDER_NONE
           
static int CUDD_REORDER_RANDOM
           
static int CUDD_REORDER_RANDOM_PIVOT
           
static int CUDD_REORDER_SAME
           
static int CUDD_REORDER_SIFT
           
static int CUDD_REORDER_SIFT_CONVERGE
           
static int CUDD_REORDER_SYMM_SIFT
           
static int CUDD_REORDER_SYMM_SIFT_CONV
           
static int CUDD_REORDER_WINDOW2
           
static int CUDD_REORDER_WINDOW2_CONV
           
static int CUDD_REORDER_WINDOW3
           
static int CUDD_REORDER_WINDOW3_CONV
           
static int CUDD_REORDER_WINDOW4
           
static int CUDD_REORDER_WINDOW4_CONV
           
 

Field Detail

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