edu.toronto.cs.jcudd
Class JMVLCudd
java.lang.Object
edu.toronto.cs.jcudd.JMVLCudd
- All Implemented Interfaces:
- JMVLCuddConstants
public class JMVLCudd
- extends java.lang.Object
- implements JMVLCuddConstants
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 |
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 |
JMVLCudd
public JMVLCudd()
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)