edu.toronto.cs.jcudd
Class JMVLCudd

java.lang.Object
  extended by edu.toronto.cs.jcudd.JMVLCudd
All Implemented Interfaces:
JMVLCuddConstants

public class JMVLCudd
extends java.lang.Object
implements JMVLCuddConstants


Field Summary
 
Fields inherited from interface edu.toronto.cs.jcudd.JMVLCuddConstants
CUDD_REORDER_ANNEALING, CUDD_REORDER_EXACT, CUDD_REORDER_GENETIC, CUDD_REORDER_GROUP_SIFT, CUDD_REORDER_GROUP_SIFT_CONV, CUDD_REORDER_LINEAR, CUDD_REORDER_LINEAR_CONVERGE, CUDD_REORDER_NONE, CUDD_REORDER_RANDOM, CUDD_REORDER_RANDOM_PIVOT, CUDD_REORDER_SAME, CUDD_REORDER_SIFT, CUDD_REORDER_SIFT_CONVERGE, CUDD_REORDER_SYMM_SIFT, CUDD_REORDER_SYMM_SIFT_CONV, CUDD_REORDER_WINDOW2, CUDD_REORDER_WINDOW2_CONV, CUDD_REORDER_WINDOW3, CUDD_REORDER_WINDOW3_CONV, CUDD_REORDER_WINDOW4, CUDD_REORDER_WINDOW4_CONV
 
Constructor Summary
JMVLCudd()
           
 
Method Summary
static int Cudd_addConst(int dd, int c)
           
static int Cudd_addIte(int dd, int f, int g, int h)
           
static int Cudd_addIthVar(int dd, int i)
           
static int Cudd_addNewVar(int dd)
           
static int Cudd_addPermute(int dd, int node, SWIGTYPE_p_int permut)
           
static void Cudd_AutodynDisable(int dd)
           
static void Cudd_AutodynEnable(int dd, int method)
           
static int Cudd_bddAnd(int dd, int f, int g)
           
static int Cudd_bddAndAbstract(int manager, int f, int g, int cube)
           
static int Cudd_bddExistAbstract(int manager, int f, int cube)
           
static int Cudd_bddIte(int dd, int f, int g, int h)
           
static int Cudd_bddIthVar(int dd, int i)
           
static int Cudd_bddNewVar(int dd)
           
static int Cudd_bddOr(int dd, int f, int g)
           
static int Cudd_bddPermute(int manager, int node, SWIGTYPE_p_int permut)
           
static int Cudd_bddUnivAbstract(int manager, int f, int cube)
           
static int Cudd_bddXor(int dd, int f, int g)
           
static int Cudd_CheckZeroRef(int dd)
           
static int Cudd_Cofactor(int dd, int f, int g)
           
static int Cudd_DagSize(int node)
           
static int Cudd_FirstCube(int dd, int node, CuddCube CUBE)
           
static int Cudd_GenFree(int gen)
           
static int Cudd_IsConstant(int node)
           
static int Cudd_NextCube(int gen, CuddCube CUBE)
           
static int Cudd_Not(int node)
           
static int Cudd_PrintMinterm(int dd, int node)
           
static int Cudd_ReadLogicZero(int dd)
           
static int Cudd_ReadOne(int dd)
           
static void Cudd_RecursiveDeref(int dd, int f)
           
static void Cudd_Ref(int node)
           
static int cuddGarbageCollect(int dd, int clearCache)
           
static int cuddV(int node)
           
static int ddSize(int dd)
           
static int isCube(int dd, int node)
           
static int jmvlCudd_Above(int jmanager, int f, int g)
           
static int jmvlCudd_And(int jmanager, int f, int g)
           
static int jmvlCudd_Below(int jmanager, int f, int g)
           
static int jmvlCudd_Eq(int jmanager, int f, int g)
           
static int jmvlCudd_infoAbove(int jmanager, int f, int g)
           
static int jmvlCudd_infoBelow(int jmanager, int f, int g)
           
static int jmvlCudd_infoJoin(int jmanager, int f, int g)
           
static int jmvlCudd_infoMeet(int jmanager, int f, int g)
           
static int jmvlCudd_infoNot(int jmanager, int f)
           
static int jmvlCudd_Init(int nvars, java.lang.Object jalgebra, int top, int bot, int infoTop, int infoBot)
           
static int jmvlCudd_Not(int jmanager, int f)
           
static int jmvlCudd_Or(int jmanager, int f, int g)
           
static void jmvlCudd_Quit(int quit)
           
static int mvlCudd_bddNextMinterm(int gen, int termValue, int vars, int top, int bot)
           
static int mvlCudd_CubeDiff(int jmanager, int a, int b)
           
static int mvlCudd_ExistAbstract(int jmanager, int f, int cube)
           
static int mvlCudd_ExistMeetAbstract(int jmanager, int f, int g, int cube)
           
static int mvlCudd_HasNextMinterm(int gen, int termValue)
           
static int mvlCudd_MintermIterator(int mvlDd, int f)
           
static int mvlCudd_NextMinterm(int gen, int termValue, int vars, int top, int bot)
           
static int mvlCudd_Support(int jmanager, int f)
           
static int mvlCudd_UnivAbstract(int jmanager, int f, int cube)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JMVLCudd

public JMVLCudd()
Method Detail

isCube

public static int isCube(int dd,
                         int node)

Cudd_AutodynEnable

public static void Cudd_AutodynEnable(int dd,
                                      int method)

Cudd_AutodynDisable

public static void Cudd_AutodynDisable(int dd)

jmvlCudd_Init

public static int jmvlCudd_Init(int nvars,
                                java.lang.Object jalgebra,
                                int top,
                                int bot,
                                int infoTop,
                                int infoBot)

jmvlCudd_Quit

public static void jmvlCudd_Quit(int quit)

Cudd_RecursiveDeref

public static void Cudd_RecursiveDeref(int dd,
                                       int f)

Cudd_PrintMinterm

public static int Cudd_PrintMinterm(int dd,
                                    int node)

Cudd_CheckZeroRef

public static int Cudd_CheckZeroRef(int dd)

cuddV

public static int cuddV(int node)

Cudd_IsConstant

public static int Cudd_IsConstant(int node)

cuddGarbageCollect

public static int cuddGarbageCollect(int dd,
                                     int clearCache)

Cudd_Ref

public static void Cudd_Ref(int node)

Cudd_DagSize

public static int Cudd_DagSize(int node)

Cudd_FirstCube

public static int Cudd_FirstCube(int dd,
                                 int node,
                                 CuddCube CUBE)

Cudd_NextCube

public static int Cudd_NextCube(int gen,
                                CuddCube CUBE)

Cudd_GenFree

public static int Cudd_GenFree(int gen)

ddSize

public static int ddSize(int dd)

Cudd_ReadOne

public static int Cudd_ReadOne(int dd)

Cudd_ReadLogicZero

public static int Cudd_ReadLogicZero(int dd)

Cudd_Not

public static int Cudd_Not(int node)

Cudd_bddAnd

public static int Cudd_bddAnd(int dd,
                              int f,
                              int g)

Cudd_bddOr

public static int Cudd_bddOr(int dd,
                             int f,
                             int g)

Cudd_bddIte

public static int Cudd_bddIte(int dd,
                              int f,
                              int g,
                              int h)

Cudd_bddUnivAbstract

public static int Cudd_bddUnivAbstract(int manager,
                                       int f,
                                       int cube)

Cudd_bddExistAbstract

public static int Cudd_bddExistAbstract(int manager,
                                        int f,
                                        int cube)

Cudd_bddNewVar

public static int Cudd_bddNewVar(int dd)

Cudd_bddIthVar

public static int Cudd_bddIthVar(int dd,
                                 int i)

Cudd_bddXor

public static int Cudd_bddXor(int dd,
                              int f,
                              int g)

Cudd_bddPermute

public static int Cudd_bddPermute(int manager,
                                  int node,
                                  SWIGTYPE_p_int permut)

Cudd_bddAndAbstract

public static int Cudd_bddAndAbstract(int manager,
                                      int f,
                                      int g,
                                      int cube)

Cudd_addNewVar

public static int Cudd_addNewVar(int dd)

Cudd_addIthVar

public static int Cudd_addIthVar(int dd,
                                 int i)

Cudd_addConst

public static int Cudd_addConst(int dd,
                                int c)

Cudd_addIte

public static int Cudd_addIte(int dd,
                              int f,
                              int g,
                              int h)

Cudd_addPermute

public static int Cudd_addPermute(int dd,
                                  int node,
                                  SWIGTYPE_p_int permut)

Cudd_Cofactor

public static int Cudd_Cofactor(int dd,
                                int f,
                                int g)

jmvlCudd_Not

public static int jmvlCudd_Not(int jmanager,
                               int f)

jmvlCudd_And

public static int jmvlCudd_And(int jmanager,
                               int f,
                               int g)

jmvlCudd_Or

public static int jmvlCudd_Or(int jmanager,
                              int f,
                              int g)

jmvlCudd_Eq

public static int jmvlCudd_Eq(int jmanager,
                              int f,
                              int g)

jmvlCudd_Above

public static int jmvlCudd_Above(int jmanager,
                                 int f,
                                 int g)

jmvlCudd_Below

public static int jmvlCudd_Below(int jmanager,
                                 int f,
                                 int g)

jmvlCudd_infoNot

public static int jmvlCudd_infoNot(int jmanager,
                                   int f)

jmvlCudd_infoMeet

public static int jmvlCudd_infoMeet(int jmanager,
                                    int f,
                                    int g)

jmvlCudd_infoJoin

public static int jmvlCudd_infoJoin(int jmanager,
                                    int f,
                                    int g)

jmvlCudd_infoAbove

public static int jmvlCudd_infoAbove(int jmanager,
                                     int f,
                                     int g)

jmvlCudd_infoBelow

public static int jmvlCudd_infoBelow(int jmanager,
                                     int f,
                                     int g)

mvlCudd_ExistAbstract

public static int mvlCudd_ExistAbstract(int jmanager,
                                        int f,
                                        int cube)

mvlCudd_UnivAbstract

public static int mvlCudd_UnivAbstract(int jmanager,
                                       int f,
                                       int cube)

mvlCudd_ExistMeetAbstract

public static int mvlCudd_ExistMeetAbstract(int jmanager,
                                            int f,
                                            int g,
                                            int cube)

mvlCudd_Support

public static int mvlCudd_Support(int jmanager,
                                  int f)

mvlCudd_CubeDiff

public static int mvlCudd_CubeDiff(int jmanager,
                                   int a,
                                   int b)

mvlCudd_NextMinterm

public static int mvlCudd_NextMinterm(int gen,
                                      int termValue,
                                      int vars,
                                      int top,
                                      int bot)

mvlCudd_bddNextMinterm

public static int mvlCudd_bddNextMinterm(int gen,
                                         int termValue,
                                         int vars,
                                         int top,
                                         int bot)

mvlCudd_MintermIterator

public static int mvlCudd_MintermIterator(int mvlDd,
                                          int f)

mvlCudd_HasNextMinterm

public static int mvlCudd_HasNextMinterm(int gen,
                                         int termValue)