PyCUDD package documentation

Classes/Methods provided

The document shows, for a given CUDD function, the corresponding PyCUDD class and method that implements it. The link highlighted in the CUDD name opens the CUDD documentation for the function. The links in the See Also: section point to the corresponding PyCUDD function details. Refer to the file UNIMPLEMENTED for a list of CUDD functions that are either redundant/unnecessary now/not yet wrapped. Some CUDD functions return values as side-effects to pointer parameters. In such cases, the PyCUDD return value is a tuple consisting of the original return value, followed by any side-effect return values.

DdNode

This class wraps around the basic DdNode. The methods defined by this class take the default manager as their DdManager option (if needed) and provide themselves as the first DdNode option that those functions require, as indicated by the self argument. These functions may be found in ddnode.i.

Additions in PyCUDD

CUDD function mapping

Cudd_bddAdjPermuteX

Method of	DdNode
Prototype	DdNode AdjPermuteX (self, DdArray x, int n)
See Also	Cudd_bddPermute Cudd_bddSwapVariables Cudd_Dxygtdxz Cudd_Dxygtdyz

Cudd_bddAnd

Method of	DdNode
Prototype	DdNode And (self, DdNode g)
See Also	Cudd_bddIte Cudd_bddAndAbstract Cudd_bddIntersect Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor

Cudd_bddAndAbstract

Method of	DdNode
Prototype	DdNode AndAbstract (self, DdNode g, DdNode cube)
See Also	Cudd_addMatrixMultiply Cudd_addTriangle Cudd_bddAnd

Cudd_bddAndAbstractLimit

Method of	DdNode
Prototype	DdNode AndAbstractLimit (self, DdNode g, DdNode cube, unsigned int limit)
See Also	Cudd_bddAndAbstract

Cudd_bddAndLimit

Method of	DdNode
Prototype	DdNode AndLimit (self, DdNode g, unsigned int limit)
See Also	Cudd_bddAnd

Cudd_ApaCountMinterm

Method of	DdNode
Prototype	DdApaNumber ApaCountMinterm (self, int nvars, IntArray digits)
See Also	Cudd_CountMinterm

Cudd_ApaPrintDensity

Method of	DdNode
Prototype	int ApaPrintDensity (self, FILE fp, int nvars)
See Also

Cudd_ApaPrintMinterm

Method of	DdNode
Prototype	int ApaPrintMinterm (self, FILE fp, int nvars)
See Also	Cudd_ApaPrintMintermExp

Cudd_ApaPrintMintermExp

Method of	DdNode
Prototype	int ApaPrintMintermExp (self, FILE fp, int nvars, int precision)
See Also	Cudd_ApaPrintMinterm

Cudd_bddApproxConjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) ApproxConjDecomp (self)
See Also	Cudd_bddApproxDisjDecomp Cudd_bddIterConjDecomp Cudd_bddGenConjDecomp Cudd_bddVarConjDecomp Cudd_RemapOverApprox Cudd_bddSqueeze Cudd_bddLICompaction

Cudd_bddApproxDisjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) ApproxDisjDecomp (self)
See Also	Cudd_bddApproxConjDecomp Cudd_bddIterDisjDecomp Cudd_bddGenDisjDecomp Cudd_bddVarDisjDecomp

Cudd_BddToCubeArray

Method of	DdNode
Prototype	int BddToCubeArray (self, IntArray y)
See Also	Cudd_CubeArrayToBdd

Cudd_BiasedOverApprox

Method of	DdNode
Prototype	DdNode BiasedOverApprox (self, DdNode b, int numVars, int threshold, double quality1, double quality0)
See Also	Cudd_SupersetHeavyBranch Cudd_SupersetShortPaths Cudd_RemapOverApprox Cudd_BiasedUnderApprox Cudd_ReadSize

Cudd_BiasedUnderApprox

Method of	DdNode
Prototype	DdNode BiasedUnderApprox (self, DdNode b, int numVars, int threshold, double quality1, double quality0)
See Also	Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_UnderApprox Cudd_RemapUnderApprox Cudd_ReadSize

Cudd_bddBooleanDiff

Method of	DdNode
Prototype	DdNode BooleanDiff (self, int x)
See Also

Cudd_CProjection

Method of	DdNode
Prototype	DdNode CProjection (self, DdNode Y)
See Also

Cudd_bddCharToVect

Method of	DdNode
Prototype	DdArray CharToVect (self)
See Also	Cudd_bddConstrain

Cudd_bddClippingAnd

Method of	DdNode
Prototype	DdNode ClippingAnd (self, DdNode g, int maxDepth, int direction)
See Also	Cudd_bddAnd

Cudd_bddClippingAndAbstract

Method of	DdNode
Prototype	DdNode ClippingAndAbstract (self, DdNode g, DdNode cube, int maxDepth, int direction)
See Also	Cudd_bddAndAbstract Cudd_bddClippingAnd

Cudd_bddClosestCube

Method of	DdNode
Prototype	(DdNode, int distance) ClosestCube (self, DdNode g)
See Also	Cudd_MinHammingDist

Cudd_CofMinterm

Method of	DdNode
Prototype	DoubleArray CofMinterm (self)
See Also

Cudd_Cofactor

Method of	DdNode
Prototype	DdNode Cofactor (self, DdNode g)
See Also	Cudd_bddConstrain Cudd_bddRestrict

Cudd_Complement

Method of	DdNode
Prototype	DdNode Complement (self)
See Also	Cudd_Regular Cudd_IsComplement

Cudd_bddCompose

Method of	DdNode
Prototype	DdNode Compose (self, DdNode g, int v)
See Also	Cudd_addCompose

Cudd_bddConstrain

Method of	DdNode
Prototype	DdNode Constrain (self, DdNode c)
See Also	Cudd_bddRestrict Cudd_addConstrain

Cudd_bddConstrainDecomp

Method of	DdNode
Prototype	DdArray ConstrainDecomp (self)
See Also	Cudd_bddConstrain Cudd_bddExistAbstract

Cudd_bddCorrelation

Method of	DdNode
Prototype	double Correlation (self, DdNode g)
See Also	Cudd_bddCorrelationWeights

Cudd_bddCorrelationWeights

Method of	DdNode
Prototype	double CorrelationWeights (self, DdNode g, DoubleArray prob)
See Also	Cudd_bddCorrelation

Cudd_CountLeaves

Method of	DdNode
Prototype	int CountLeaves (self)
See Also	Cudd_PrintDebug

Cudd_CountMinterm

Method of	DdNode
Prototype	double CountMinterm (self, int nvars)
See Also	Cudd_PrintDebug Cudd_CountPath

Cudd_CountPath

Method of	DdNode
Prototype	double CountPath (self)
See Also	Cudd_CountMinterm

Cudd_CountPathsToNonZero

Method of	DdNode
Prototype	double CountPathsToNonZero (self)
See Also	Cudd_CountMinterm Cudd_CountPath

Cudd_DagSize

Method of	DdNode
Prototype	int DagSize (self)
See Also	Cudd_SharingSize Cudd_PrintDebug

Cudd_Decreasing

Method of	DdNode
Prototype	DdNode Decreasing (self, int i)
See Also	Cudd_Increasing

Cudd_Density

Method of	DdNode
Prototype	double Density (self, int nvars)
See Also	Cudd_CountMinterm Cudd_DagSize

Cudd_DumpBlif

Method of	DdNode
Prototype	int DumpBlif (self)
See Also	Cudd_DumpBlifBody Cudd_DumpDot Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm

Cudd_DumpDot

Method of	DdNode
Prototype	int DumpDot (self)
See Also	Cudd_DumpBlif Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm

Cudd_E

Method of	DdNode
Prototype	DdNode E (self)
See Also	Cudd_T Cudd_V

Cudd_EpdCountMinterm

Method of	DdNode
Prototype	int EpdCountMinterm (self, int nvars, EpDouble epd)
See Also	Cudd_PrintDebug Cudd_CountPath

Cudd_EqualSupNorm

Method of	DdNode
Prototype	int EqualSupNorm (self, DdNode g, CUDD_VALUE_TYPE tolerance, int pr)
See Also

Cudd_EquivDC

Method of	DdNode
Prototype	int EquivDC (self, DdNode G, DdNode D)
See Also	Cudd_bddLeqUnless

Cudd_EstimateCofactor

Method of	DdNode
Prototype	int EstimateCofactor (self, int i, int phase)
See Also	Cudd_DagSize Cudd_EstimateCofactorSimple

Cudd_EstimateCofactorSimple

Method of	DdNode
Prototype	int EstimateCofactorSimple (self, int i)
See Also	Cudd_DagSize

Cudd_Eval

Method of	DdNode
Prototype	DdNode Eval (self, IntArray inputs)
See Also	Cudd_bddLeq Cudd_addEvalConst

Cudd_bddExistAbstract

Method of	DdNode
Prototype	DdNode ExistAbstract (self, DdNode cube)
See Also	Cudd_bddUnivAbstract Cudd_addExistAbstract

Cudd_FindEssential

Method of	DdNode
Prototype	DdNode FindEssential (self)
See Also	Cudd_bddIsVarEssential

Cudd_FindTwoLiteralClauses

Method of	DdNode
Prototype	DdTlcInfo FindTwoLiteralClauses (self)
See Also	Cudd_FindEssential

Cudd_FirstCube

Method of	DdNode
Prototype	(int, int cube) FirstCube (self, DdGen gen)
See Also	Cudd_NextCube Cudd_FirstNode

Cudd_FirstNode

Method of	DdNode
Prototype	(int, DdNode y) FirstNode (self, DdGen gen)
See Also	Cudd_NextNode Cudd_FirstCube

Cudd_bddGenConjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) GenConjDecomp (self)
See Also	Cudd_bddGenDisjDecomp Cudd_bddApproxConjDecomp Cudd_bddIterConjDecomp Cudd_bddVarConjDecomp

Cudd_bddGenDisjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) GenDisjDecomp (self)
See Also	Cudd_bddGenConjDecomp Cudd_bddApproxDisjDecomp Cudd_bddIterDisjDecomp Cudd_bddVarDisjDecomp

Cudd_Increasing

Method of	DdNode
Prototype	DdNode Increasing (self, int i)
See Also	Cudd_Decreasing

Cudd_bddIntersect

Method of	DdNode
Prototype	DdNode Intersect (self, DdNode g)
See Also	Cudd_bddLeq Cudd_bddIteConstant

Cudd_IsComplement

Method of	DdNode
Prototype	int IsComplement (self)
See Also	Cudd_Regular Cudd_Complement

Cudd_IsConstant

Method of	DdNode
Prototype	int IsConstant (self)
See Also

Cudd_IsNonConstant

Method of	DdNode
Prototype	int IsNonConstant (self)
See Also	Cudd_IsConstant Cudd_bddIteConstant Cudd_addIteConstant Cudd_addEvalConst

Cudd_bddIsVarEssential

Method of	DdNode
Prototype	int IsVarEssential (self, int id, int phase)
See Also	Cudd_FindEssential

Cudd_bddIsop

Method of	DdNode
Prototype	DdNode Isop (self, DdNode U)
See Also	Cudd_zddIsop

Cudd_bddIte

Method of	DdNode
Prototype	DdNode Ite (self, DdNode g, DdNode h)
See Also	Cudd_addIte Cudd_bddIteConstant Cudd_bddIntersect

Cudd_bddIteConstant

Method of	DdNode
Prototype	DdNode IteConstant (self, DdNode g, DdNode h)
See Also	Cudd_bddIte Cudd_bddIntersect Cudd_bddLeq Cudd_addIteConstant

Cudd_bddIterConjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) IterConjDecomp (self)
See Also	Cudd_bddIterDisjDecomp Cudd_bddApproxConjDecomp Cudd_bddGenConjDecomp Cudd_bddVarConjDecomp Cudd_RemapOverApprox Cudd_bddSqueeze Cudd_bddLICompaction

Cudd_bddIterDisjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) IterDisjDecomp (self)
See Also	Cudd_bddIterConjDecomp Cudd_bddApproxDisjDecomp Cudd_bddGenDisjDecomp Cudd_bddVarDisjDecomp

Cudd_bddLICompaction

Method of	DdNode
Prototype	DdNode LICompaction (self, DdNode c)
See Also	Cudd_bddRestrict

Cudd_LargestCube

Method of	DdNode
Prototype	DdNode LargestCube (self, IntArray length)
See Also	Cudd_ShortestPath

Cudd_bddLeq

Method of	DdNode
Prototype	bool Leq (self, DdNode g)
See Also	Cudd_bddIteConstant Cudd_addEvalConst

Cudd_bddLeqUnless

Method of	DdNode
Prototype	int LeqUnless (self, DdNode g, DdNode D)
See Also	Cudd_EquivDC Cudd_bddLeq Cudd_bddIteConstant

Cudd_bddLiteralSetIntersection

Method of	DdNode
Prototype	DdNode LiteralSetIntersection (self, DdNode g)
See Also

Cudd_bddMakePrime

Method of	DdNode
Prototype	DdNode MakePrime (self, DdNode f)
See Also

Cudd_MinHammingDist

Method of	DdNode
Prototype	int MinHammingDist (self, IntArray minterm, int upperBound)
See Also	Cudd_addHamming Cudd_bddClosestCube

Cudd_bddMinimize

Method of	DdNode
Prototype	DdNode Minimize (self, DdNode c)
See Also	Cudd_bddRestrict Cudd_bddLICompaction Cudd_bddSqueeze

Cudd_bddNPAnd

Method of	DdNode
Prototype	DdNode NPAnd (self, DdNode c)
See Also	Cudd_bddConstrain Cudd_bddRestrict

Cudd_bddNand

Method of	DdNode
Prototype	DdNode Nand (self, DdNode g)
See Also	Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNor Cudd_bddXor Cudd_bddXnor

Cudd_NextCube

Method of	DdNode
Prototype	(int, int cube) NextCube (self, DdGen gen)
See Also	Cudd_FirstCube Cudd_NextNode

Cudd_NextNode

Method of	DdNode
Prototype	(int, DdNode y) NextNode (self, DdGen gen)
See Also	Cudd_FirstNode Cudd_NextCube

Cudd_NodeReadIndex

Method of	DdNode
Prototype	int NodeReadIndex (self)
See Also	Cudd_ReadIndex

Cudd_bddNor

Method of	DdNode
Prototype	DdNode Nor (self, DdNode g)
See Also	Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNand Cudd_bddXor Cudd_bddXnor

Cudd_Not

Method of	DdNode
Prototype	DdNode Not (self)
See Also	Cudd_NotCond

Cudd_NotCond

Method of	DdNode
Prototype	DdNode NotCond (self, int c)
See Also	Cudd_Not

Cudd_bddOr

Method of	DdNode
Prototype	DdNode Or (self, DdNode g)
See Also	Cudd_bddIte Cudd_bddAnd Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor

Cudd_OverApprox

Method of	DdNode
Prototype	DdNode OverApprox (self, int numVars, int threshold, int safe, double quality)
See Also	Cudd_SupersetHeavyBranch Cudd_SupersetShortPaths Cudd_ReadSize

Cudd_bddPermute

Method of	DdNode
Prototype	DdNode Permute (self, IntArray permut)
See Also	Cudd_addPermute Cudd_bddSwapVariables

Cudd_bddPickArbitraryMinterms

Method of	DdNode
Prototype	DdArray PickArbitraryMinterms (self, DdArray vars, int n, int k)
See Also	Cudd_bddPickOneMinterm Cudd_bddPickOneCube

Cudd_bddPickOneCube

Method of	DdNode
Prototype	int PickOneCube (self, char string)
See Also	Cudd_bddPickOneMinterm

Cudd_bddPickOneMinterm

Method of	DdNode
Prototype	DdNode PickOneMinterm (self, DdArray vars, int n)
See Also	Cudd_bddPickOneCube

Cudd_PrintDebug

Method of	DdNode
Prototype	int PrintDebug (self, int n, int pr)
See Also	Cudd_DagSize Cudd_CountLeaves Cudd_CountMinterm Cudd_PrintMinterm

Cudd_PrintMinterm

Method of	DdNode
Prototype	int PrintMinterm (self)
See Also	Cudd_PrintDebug Cudd_bddPrintCover

Cudd_ReadIndex

Method of	DdNode
Prototype	int ReadIndex (self, int index)
See Also	Cudd_ReadPerm

Cudd_Regular

Method of	DdNode
Prototype	DdNode Regular (self)
See Also	Cudd_Complement Cudd_IsComplement

Cudd_RemapOverApprox

Method of	DdNode
Prototype	DdNode RemapOverApprox (self, int numVars, int threshold, double quality)
See Also	Cudd_SupersetHeavyBranch Cudd_SupersetShortPaths Cudd_ReadSize

Cudd_RemapUnderApprox

Method of	DdNode
Prototype	DdNode RemapUnderApprox (self, int numVars, int threshold, double quality)
See Also	Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_UnderApprox Cudd_ReadSize

Cudd_bddRestrict

Method of	DdNode
Prototype	DdNode Restrict (self, DdNode c)
See Also	Cudd_bddConstrain Cudd_addRestrict

Cudd_SetBackground

Method of	DdNode
Prototype	SetBackground (self)
See Also

Cudd_ShortestLength

Method of	DdNode
Prototype	int ShortestLength (self, IntArray weight)
See Also	Cudd_ShortestPath

Cudd_ShortestPath

Method of	DdNode
Prototype	DdNode ShortestPath (self, IntArray weight, IntArray support, IntArray length)
See Also	Cudd_ShortestLength Cudd_LargestCube

Cudd_SplitSet

Method of	DdNode
Prototype	DdNode SplitSet (self, DdArray xVars, int n, double m)
See Also

Cudd_bddSqueeze

Method of	DdNode
Prototype	DdNode Squeeze (self, DdNode u)
See Also	Cudd_bddRestrict Cudd_bddLICompaction

Cudd_SubsetCompress

Method of	DdNode
Prototype	DdNode SubsetCompress (self, int nvars, int threshold)
See Also	Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_bddSqueeze

Cudd_SubsetHeavyBranch

Method of	DdNode
Prototype	DdNode SubsetHeavyBranch (self, int numVars, int threshold)
See Also	Cudd_SubsetShortPaths Cudd_SupersetHeavyBranch Cudd_ReadSize

Cudd_SubsetShortPaths

Method of	DdNode
Prototype	DdNode SubsetShortPaths (self, int numVars, int threshold, int hardlimit)
See Also	Cudd_SupersetShortPaths Cudd_SubsetHeavyBranch Cudd_ReadSize

Cudd_SupersetCompress

Method of	DdNode
Prototype	DdNode SupersetCompress (self, int nvars, int threshold)
See Also	Cudd_SubsetCompress Cudd_SupersetShortPaths Cudd_SupersetHeavyBranch Cudd_bddSqueeze

Cudd_SupersetHeavyBranch

Method of	DdNode
Prototype	DdNode SupersetHeavyBranch (self, int numVars, int threshold)
See Also	Cudd_SubsetHeavyBranch Cudd_SupersetShortPaths Cudd_ReadSize

Cudd_SupersetShortPaths

Method of	DdNode
Prototype	DdNode SupersetShortPaths (self, int numVars, int threshold, int hardlimit)
See Also	Cudd_SubsetShortPaths Cudd_SupersetHeavyBranch Cudd_ReadSize

Cudd_Support

Method of	DdNode
Prototype	DdNode Support (self)
See Also	Cudd_VectorSupport Cudd_ClassifySupport

Cudd_SupportIndex

Method of	DdNode
Prototype	(int, int sup) SupportIndex (self)
See Also	Cudd_Support Cudd_VectorSupport Cudd_ClassifySupport

Cudd_SupportSize

Method of	DdNode
Prototype	int SupportSize (self)
See Also	Cudd_Support

Cudd_bddSwapVariables

Method of	DdNode
Prototype	DdNode SwapVariables (self, DdArray x, DdArray y, int n)
See Also	Cudd_bddPermute Cudd_addSwapVariables

Cudd_T

Method of	DdNode
Prototype	DdNode T (self)
See Also	Cudd_E Cudd_V

Cudd_UnderApprox

Method of	DdNode
Prototype	DdNode UnderApprox (self, int numVars, int threshold, int safe, double quality)
See Also	Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_ReadSize

Cudd_bddUnivAbstract

Method of	DdNode
Prototype	DdNode UnivAbstract (self, DdNode cube)
See Also	Cudd_bddExistAbstract Cudd_addUnivAbstract

Cudd_V

Method of	DdNode
Prototype	double V (self)
See Also	Cudd_T Cudd_E

Cudd_bddVarConjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) VarConjDecomp (self)
See Also	Cudd_bddVarDisjDecomp Cudd_bddGenConjDecomp Cudd_bddApproxConjDecomp Cudd_bddIterConjDecomp

Cudd_bddVarDisjDecomp

Method of	DdNode
Prototype	(int, DdNode juncts) VarDisjDecomp (self)
See Also	Cudd_bddVarConjDecomp Cudd_bddApproxDisjDecomp Cudd_bddIterDisjDecomp Cudd_bddGenDisjDecomp

Cudd_bddVarIsDependent

Method of	DdNode
Prototype	int VarIsDependent (self, DdNode var)
See Also

Cudd_bddVarMap

Method of	DdNode
Prototype	DdNode VarMap (self)
See Also	Cudd_bddPermute Cudd_bddSwapVariables Cudd_SetVarMap

Cudd_bddVectorCompose

Method of	DdNode
Prototype	DdNode VectorCompose (self, DdArray vector)
See Also	Cudd_bddPermute Cudd_bddCompose Cudd_addVectorCompose

Cudd_VerifySol

Method of	DdNode
Prototype	DdNode VerifySol (self, DdArray G, IntArray yIndex, int n)
See Also

Cudd_bddXnor

Method of	DdNode
Prototype	DdNode Xnor (self, DdNode g)
See Also	Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXor

Cudd_bddXor

Method of	DdNode
Prototype	DdNode Xor (self, DdNode g)
See Also	Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXnor

Cudd_bddXorExistAbstract

Method of	DdNode
Prototype	DdNode XorExistAbstract (self, DdNode g, DdNode cube)
See Also	Cudd_bddUnivAbstract Cudd_bddExistAbstract Cudd_bddAndAbstract

Cudd_addCmpl

Method of	DdNode
Prototype	DdNode addCmpl (self)
See Also	Cudd_addNegate

Cudd_addCompose

Method of	DdNode
Prototype	DdNode addCompose (self, DdNode g, int v)
See Also	Cudd_bddCompose

Cudd_addConstrain

Method of	DdNode
Prototype	DdNode addConstrain (self, DdNode c)
See Also	Cudd_bddConstrain

Cudd_addEvalConst

Method of	DdNode
Prototype	DdNode addEvalConst (self, DdNode g)
See Also	Cudd_addIteConstant Cudd_addLeq

Cudd_addExistAbstract

Method of	DdNode
Prototype	DdNode addExistAbstract (self, DdNode cube)
See Also	Cudd_addUnivAbstract Cudd_bddExistAbstract Cudd_addOrAbstract

Cudd_addFindMax

Method of	DdNode
Prototype	DdNode addFindMax (self)
See Also

Cudd_addFindMin

Method of	DdNode
Prototype	DdNode addFindMin (self)
See Also

Cudd_addIte

Method of	DdNode
Prototype	DdNode addIte (self, DdNode g, DdNode h)
See Also	Cudd_bddIte Cudd_addIteConstant

Cudd_addIteConstant

Method of	DdNode
Prototype	DdNode addIteConstant (self, DdNode g, DdNode h)
See Also	Cudd_addIte Cudd_addEvalConst Cudd_bddIteConstant

Cudd_addIthBit

Method of	DdNode
Prototype	DdNode addIthBit (self, int bit)
See Also	Cudd_addBddIthBit

Cudd_addLeq

Method of	DdNode
Prototype	int addLeq (self, DdNode g)
See Also	Cudd_addIteConstant Cudd_addEvalConst Cudd_bddLeq

Cudd_addMatrixMultiply

Method of	DdNode
Prototype	DdNode addMatrixMultiply (self, DdNode B, DdArray z, int nz)
See Also	Cudd_addTimesPlus Cudd_addTriangle Cudd_bddAndAbstract

Cudd_addNegate

Method of	DdNode
Prototype	DdNode addNegate (self)
See Also	Cudd_addCmpl

Cudd_addNonSimCompose

Method of	DdNode
Prototype	DdNode addNonSimCompose (self, DdArray vector)
See Also	Cudd_addVectorCompose Cudd_addPermute Cudd_addCompose

Cudd_addOrAbstract

Method of	DdNode
Prototype	DdNode addOrAbstract (self, DdNode cube)
See Also	Cudd_addUnivAbstract Cudd_addExistAbstract

Cudd_addPermute

Method of	DdNode
Prototype	DdNode addPermute (self, IntArray permut)
See Also	Cudd_bddPermute Cudd_addSwapVariables

Cudd_addRestrict

Method of	DdNode
Prototype	DdNode addRestrict (self, DdNode c)
See Also	Cudd_addConstrain Cudd_bddRestrict

Cudd_addRoundOff

Method of	DdNode
Prototype	DdNode addRoundOff (self, int N)
See Also

Cudd_addScalarInverse

Method of	DdNode
Prototype	DdNode addScalarInverse (self, DdNode epsilon)
See Also

Cudd_addSwapVariables

Method of	DdNode
Prototype	DdNode addSwapVariables (self, DdArray x, DdArray y, int n)
See Also	Cudd_addPermute Cudd_bddSwapVariables

Cudd_addTimesPlus

Method of	DdNode
Prototype	DdNode addTimesPlus (self, DdNode B, DdArray z, int nz)
See Also	Cudd_addMatrixMultiply

Cudd_addTriangle

Method of	DdNode
Prototype	DdNode addTriangle (self, DdNode g, DdArray z, int nz)
See Also	Cudd_addMatrixMultiply Cudd_bddAndAbstract

Cudd_addUnivAbstract

Method of	DdNode
Prototype	DdNode addUnivAbstract (self, DdNode cube)
See Also	Cudd_addExistAbstract Cudd_bddUnivAbstract Cudd_addOrAbstract

Cudd_addVectorCompose

Method of	DdNode
Prototype	DdNode addVectorCompose (self, DdArray vector)
See Also	Cudd_addNonSimCompose Cudd_addPermute Cudd_addCompose Cudd_bddVectorCompose

Cudd_zddChange

Method of	DdNode
Prototype	DdNode zddChange (self, int var)
See Also

Cudd_zddComplement

Method of	DdNode
Prototype	DdNode zddComplement (self)
See Also

Cudd_zddCount

Method of	DdNode
Prototype	int zddCount (self)
See Also	Cudd_zddCountDouble

Cudd_zddCountDouble

Method of	DdNode
Prototype	double zddCountDouble (self)
See Also	Cudd_zddCountMinterm Cudd_zddCount

Cudd_zddCountMinterm

Method of	DdNode
Prototype	double zddCountMinterm (self, int path)
See Also	Cudd_zddCountDouble

Cudd_zddDagSize

Method of	DdNode
Prototype	int zddDagSize (self, DdNode p_node)
See Also	Cudd_DagSize

Cudd_zddDiff

Method of	DdNode
Prototype	DdNode zddDiff (self, DdNode Q)
See Also	Cudd_zddDiffConst

Cudd_zddDiffConst

Method of	DdNode
Prototype	DdNode zddDiffConst (self, DdNode Q)
See Also	Cudd_zddDiff

Cudd_zddDivide

Method of	DdNode
Prototype	DdNode zddDivide (self, DdNode g)
See Also	Cudd_zddWeakDiv

Cudd_zddDivideF

Method of	DdNode
Prototype	DdNode zddDivideF (self, DdNode g)
See Also

Cudd_zddIntersect

Method of	DdNode
Prototype	DdNode zddIntersect (self, DdNode Q)
See Also

Cudd_zddIsop

Method of	DdNode
Prototype	DdNode zddIsop (self, DdNode U, DdArray zdd_I)
See Also	Cudd_bddIsop Cudd_zddVarsFromBddVars

Cudd_zddIte

Method of	DdNode
Prototype	DdNode zddIte (self, DdNode g, DdNode h)
See Also

Cudd_zddPrintCover

Method of	DdNode
Prototype	int zddPrintCover (self)
See Also	Cudd_zddPrintMinterm

Cudd_zddPrintDebug

Method of	DdNode
Prototype	int zddPrintDebug (self, int n, int pr)
See Also

Cudd_zddPrintMinterm

Method of	DdNode
Prototype	int zddPrintMinterm (self)
See Also	Cudd_zddPrintDebug Cudd_zddPrintCover

Cudd_zddProduct

Method of	DdNode
Prototype	DdNode zddProduct (self, DdNode g)
See Also	Cudd_zddUnateProduct

Cudd_zddSubset0

Method of	DdNode
Prototype	DdNode zddSubset0 (self, int var)
See Also	Cudd_zddSubset1

Cudd_zddSubset1

Method of	DdNode
Prototype	DdNode zddSubset1 (self, int var)
See Also	Cudd_zddSubset0

Cudd_zddUnateProduct

Method of	DdNode
Prototype	DdNode zddUnateProduct (self, DdNode g)
See Also	Cudd_zddProduct

Cudd_zddUnion

Method of	DdNode
Prototype	DdNode zddUnion (self, DdNode Q)
See Also

Cudd_zddWeakDiv

Method of	DdNode
Prototype	DdNode zddWeakDiv (self, DdNode g)
See Also	Cudd_zddDivide

Cudd_zddWeakDivF

Method of	DdNode
Prototype	DdNode zddWeakDivF (self, DdNode g)
See Also	Cudd_zddWeakDiv

Additions to DdNode in PyCUDD

Vector	DdArray Vector (self)
Empty	bool Empty (self)
FIntersect	int FIntersect (self, DdNode g)
Show	Show (self, char name, int op1, int op2)
SizeOf	int SizeOf (self)
BddStore	int BddStore (self, char ddname, char varnames, IntArray auxids, int mode, int varinfo, char fname, FILE fp)

DdManager

This class wraps around the DdManager. The methods defined by this class provide themselves as the DdManager option (if needed). To use PyCUDD, you must have at least one DdManager instance and you must set DdManager.SetDefault before using any of the other functions. These functions are provided through ddmanager.i.

Additions in PyCUDD

CUDD function mapping

Cudd_ApaAdd

Method of	DdManager
Prototype	DdApaDigit ApaAdd (self, int digits, DdApaNumber a, DdApaNumber b, DdApaNumber sum)
See Also

Cudd_ApaCompare

Method of	DdManager
Prototype	int ApaCompare (self, int digitsFirst, DdApaNumber first, int digitsSecond, DdApaNumber second)
See Also

Cudd_ApaCompareRatios

Method of	DdManager
Prototype	int ApaCompareRatios (self, int digitsFirst, DdApaNumber firstNum, unsigned int firstDen, int digitsSecond, DdApaNumber secondNum, unsigned int secondDen)
See Also

Cudd_ApaCopy

Method of	DdManager
Prototype	ApaCopy (self, int digits, DdApaNumber source, DdApaNumber dest)
See Also

Cudd_ApaIntDivision

Method of	DdManager
Prototype	unsigned int ApaIntDivision (self, int digits, DdApaNumber dividend, unsigned int divisor, DdApaNumber quotient)
See Also	Cudd_ApaShortDivision

Cudd_ApaNumberOfDigits

Method of	DdManager
Prototype	int ApaNumberOfDigits (self, int binaryDigits)
See Also

Cudd_ApaPowerOfTwo

Method of	DdManager
Prototype	ApaPowerOfTwo (self, int digits, DdApaNumber number, int power)
See Also

Cudd_ApaPrintDecimal

Method of	DdManager
Prototype	int ApaPrintDecimal (self, FILE fp, int digits, DdApaNumber number)
See Also	Cudd_ApaPrintHex Cudd_ApaPrintExponential

Cudd_ApaPrintExponential

Method of	DdManager
Prototype	int ApaPrintExponential (self, FILE fp, int digits, DdApaNumber number, int precision)
See Also	Cudd_ApaPrintHex Cudd_ApaPrintDecimal

Cudd_ApaPrintHex

Method of	DdManager
Prototype	int ApaPrintHex (self, FILE fp, int digits, DdApaNumber number)
See Also	Cudd_ApaPrintDecimal Cudd_ApaPrintExponential

Cudd_ApaSetToLiteral

Method of	DdManager
Prototype	ApaSetToLiteral (self, int digits, DdApaNumber number, DdApaDigit literal)
See Also

Cudd_ApaShiftRight

Method of	DdManager
Prototype	ApaShiftRight (self, int digits, DdApaDigit in, DdApaNumber a, DdApaNumber b)
See Also

Cudd_ApaShortDivision

Method of	DdManager
Prototype	DdApaDigit ApaShortDivision (self, int digits, DdApaNumber dividend, DdApaDigit divisor, DdApaNumber quotient)
See Also

Cudd_ApaSubtract

Method of	DdManager
Prototype	DdApaDigit ApaSubtract (self, int digits, DdApaNumber a, DdApaNumber b, DdApaNumber diff)
See Also

Cudd_AutodynDisable

Method of	DdManager
Prototype	AutodynDisable (self)
See Also	Cudd_AutodynEnable Cudd_ReorderingStatus Cudd_AutodynDisableZdd

Cudd_AutodynDisableZdd

Method of	DdManager
Prototype	AutodynDisableZdd (self)
See Also	Cudd_AutodynEnableZdd Cudd_ReorderingStatusZdd Cudd_AutodynDisable

Cudd_AutodynEnable

Method of	DdManager
Prototype	AutodynEnable (self, int method)
See Also	Cudd_AutodynDisable Cudd_ReorderingStatus Cudd_AutodynEnableZdd

Cudd_AutodynEnableZdd

Method of	DdManager
Prototype	AutodynEnableZdd (self, int method)
See Also	Cudd_AutodynDisableZdd Cudd_ReorderingStatusZdd Cudd_AutodynEnable

Cudd_AverageDistance

Method of	DdManager
Prototype	double AverageDistance (self)
See Also

Cudd_BddToAdd

Method of	DdManager
Prototype	DdNode BddToAdd (self, DdNode B)
See Also	Cudd_addBddPattern Cudd_addBddThreshold Cudd_addBddInterval Cudd_addBddStrictThreshold

Cudd_bddBindVar

Method of	DdManager
Prototype	int BindVar (self, int index)
See Also	Cudd_bddUnbindVar

Cudd_CheckKeys

Method of	DdManager
Prototype	int CheckKeys (self)
See Also	Cudd_DebugCheck

Cudd_CheckZeroRef

Method of	DdManager
Prototype	int CheckZeroRef (self)
See Also

Cudd_ClassifySupport

Method of	DdManager
Prototype	int ClassifySupport (self, DdNode f, DdNode g, DdArray common, DdArray onlyF, DdArray onlyG)
See Also	Cudd_Support Cudd_VectorSupport

Cudd_ClearErrorCode

Method of	DdManager
Prototype	ClearErrorCode (self)
See Also	Cudd_ReadErrorCode

Cudd_bddComputeCube

Method of	DdManager
Prototype	DdNode ComputeCube (self, DdArray vars, IntArray phase, int n)
See Also	Cudd_addComputeCube Cudd_IndicesToCube Cudd_CubeArrayToBdd

Cudd_CubeArrayToBdd

Method of	DdManager
Prototype	DdNode CubeArrayToBdd (self, IntArray y)
See Also	Cudd_bddComputeCube Cudd_IndicesToCube Cudd_BddToCubeArray

Cudd_DeadAreCounted

Method of	DdManager
Prototype	int DeadAreCounted (self)
See Also	Cudd_TurnOnCountDead Cudd_TurnOffCountDead

Cudd_DebugCheck

Method of	DdManager
Prototype	int DebugCheck (self)
See Also	Cudd_CheckKeys

Cudd_DisableGarbageCollection

Method of	DdManager
Prototype	DisableGarbageCollection (self)
See Also	Cudd_EnableGarbageCollection Cudd_GarbageCollectionEnabled

Cudd_DisableReorderingReporting

Method of	DdManager
Prototype	int DisableReorderingReporting (self)
See Also	Cudd_EnableReorderingReporting Cudd_ReorderingReporting

Cudd_DumpBlif

Method of	DdManager
Prototype	int DumpBlif (self, int n, DdArray f, char inames, char onames, char mname, FILE fp)
See Also	Cudd_DumpBlifBody Cudd_DumpDot Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm

Cudd_DumpBlifBody

Method of	DdManager
Prototype	int DumpBlifBody (self, int n, DdArray f, char inames, char onames, FILE fp)
See Also	Cudd_DumpBlif Cudd_DumpDot Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm

Cudd_DumpDDcal

Method of	DdManager
Prototype	int DumpDDcal (self, int n, DdArray f, char inames, char onames, FILE fp)
See Also	Cudd_DumpDot Cudd_PrintDebug Cudd_DumpBlif Cudd_DumpDaVinci Cudd_DumpFactoredForm

Cudd_DumpDaVinci

Method of	DdManager
Prototype	int DumpDaVinci (self, int n, DdArray f, char inames, char onames, FILE fp)
See Also	Cudd_DumpDot Cudd_PrintDebug Cudd_DumpBlif Cudd_DumpDDcal Cudd_DumpFactoredForm

Cudd_DumpDot

Method of	DdManager
Prototype	int DumpDot (self, int n, DdArray f, char inames, char onames, FILE fp)
See Also	Cudd_DumpBlif Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm

Cudd_DumpFactoredForm

Method of	DdManager
Prototype	int DumpFactoredForm (self, int n, DdArray f, char inames, char onames, FILE fp)
See Also	Cudd_DumpDot Cudd_PrintDebug Cudd_DumpBlif Cudd_DumpDaVinci Cudd_DumpDDcal

Cudd_Dxygtdxz

Method of	DdManager
Prototype	DdNode Dxygtdxz (self, int N, DdArray x, DdArray y, DdArray z)
See Also	Cudd_Dxygtdyz Cudd_Xgty Cudd_bddAdjPermuteX

Cudd_Dxygtdyz

Method of	DdManager
Prototype	DdNode Dxygtdyz (self, int N, DdArray x, DdArray y, DdArray z)
See Also	Cudd_Dxygtdxz Cudd_Xgty Cudd_bddAdjPermuteX

Cudd_EnableGarbageCollection

Method of	DdManager
Prototype	EnableGarbageCollection (self)
See Also	Cudd_DisableGarbageCollection Cudd_GarbageCollectionEnabled

Cudd_EnableReorderingReporting

Method of	DdManager
Prototype	int EnableReorderingReporting (self)
See Also	Cudd_DisableReorderingReporting Cudd_ReorderingReporting

Cudd_ExpectedUsedSlots

Method of	DdManager
Prototype	double ExpectedUsedSlots (self)
See Also	Cudd_ReadSlots Cudd_ReadUsedSlots

Cudd_FreeTree

Method of	DdManager
Prototype	FreeTree (self)
See Also	Cudd_SetTree Cudd_ReadTree Cudd_FreeZddTree

Cudd_FreeZddTree

Method of	DdManager
Prototype	FreeZddTree (self)
See Also	Cudd_SetZddTree Cudd_ReadZddTree Cudd_FreeTree

Cudd_GarbageCollectionEnabled

Method of	DdManager
Prototype	int GarbageCollectionEnabled (self)
See Also	Cudd_EnableGarbageCollection Cudd_DisableGarbageCollection

Cudd_IndicesToCube

Method of	DdManager
Prototype	DdNode IndicesToCube (self, IntArray array, int n)
See Also	Cudd_bddComputeCube Cudd_CubeArrayToBdd

Cudd_bddIsNsVar

Method of	DdManager
Prototype	int IsNsVar (self, int index)
See Also	Cudd_bddSetNsVar Cudd_bddIsPiVar Cudd_bddIsPsVar

Cudd_bddIsPiVar

Method of	DdManager
Prototype	int IsPiVar (self, int index)
See Also	Cudd_bddSetPiVar Cudd_bddIsPsVar Cudd_bddIsNsVar

Cudd_bddIsPsVar

Method of	DdManager
Prototype	int IsPsVar (self, int index)
See Also	Cudd_bddSetPsVar Cudd_bddIsPiVar Cudd_bddIsNsVar

Cudd_bddIsVarHardGroup

Method of	DdManager
Prototype	int IsVarHardGroup (self, int index)
See Also	Cudd_bddSetVarHardGroup

Cudd_bddIsVarToBeGrouped

Method of	DdManager
Prototype	int IsVarToBeGrouped (self, int index)
See Also

Cudd_bddIsVarToBeUngrouped

Method of	DdManager
Prototype	int IsVarToBeUngrouped (self, int index)
See Also	Cudd_bddSetVarToBeUngrouped

Cudd_bddIthVar

Method of	DdManager
Prototype	DdNode IthVar (self, int i)
See Also	Cudd_bddNewVar Cudd_addIthVar Cudd_bddNewVarAtLevel Cudd_ReadVars

Cudd_MakeBddFromZddCover

Method of	DdManager
Prototype	DdNode MakeBddFromZddCover (self, DdNode node)
See Also

Cudd_MakeTreeNode

Method of	DdManager
Prototype	MtrNode MakeTreeNode (self, unsigned int low, unsigned int size, unsigned int type)
See Also	Cudd_MakeZddTreeNode

Cudd_MakeZddTreeNode

Method of	DdManager
Prototype	MtrNode MakeZddTreeNode (self, unsigned int low, unsigned int size, unsigned int type)
See Also	Cudd_MakeTreeNode

Cudd_NewApaNumber

Method of	DdManager
Prototype	DdApaNumber NewApaNumber (self, int digits)
See Also

Cudd_bddNewVar

Method of	DdManager
Prototype	DdNode NewVar (self)
See Also	Cudd_addNewVar Cudd_bddIthVar Cudd_bddNewVarAtLevel

Cudd_bddNewVarAtLevel

Method of	DdManager
Prototype	DdNode NewVarAtLevel (self, int level)
See Also	Cudd_bddNewVar Cudd_bddIthVar Cudd_addNewVarAtLevel

Cudd_OutOfMem

Method of	DdManager
Prototype	OutOfMem (self, long size)
See Also

Cudd_Prime

Method of	DdManager
Prototype	unsigned int Prime (self, unsigned int p)
See Also

Cudd_bddPrintCover

Method of	DdManager
Prototype	int PrintCover (self, DdNode l, DdNode u)
See Also	Cudd_PrintMinterm

Cudd_PrintInfo

Method of	DdManager
Prototype	int PrintInfo (self, FILE fp)
See Also

Cudd_PrintLinear

Method of	DdManager
Prototype	int PrintLinear (self)
See Also

Cudd_PrintVersion

Method of	DdManager
Prototype	PrintVersion (self, FILE fp)
See Also

Cudd_Random

Method of	DdManager
Prototype	long Random (self)
See Also	Cudd_Srandom

Cudd_ReadArcviolation

Method of	DdManager
Prototype	int ReadArcviolation (self)
See Also	Cudd_SetArcviolation

Cudd_ReadBackground

Method of	DdManager
Prototype	DdNode ReadBackground (self)
See Also

Cudd_ReadCacheHits

Method of	DdManager
Prototype	double ReadCacheHits (self)
See Also	Cudd_ReadCacheLookUps

Cudd_ReadCacheLookUps

Method of	DdManager
Prototype	double ReadCacheLookUps (self)
See Also	Cudd_ReadCacheHits

Cudd_ReadCacheSlots

Method of	DdManager
Prototype	unsigned int ReadCacheSlots (self)
See Also	Cudd_ReadCacheUsedSlots

Cudd_ReadCacheUsedSlots

Method of	DdManager
Prototype	double ReadCacheUsedSlots (self)
See Also	Cudd_ReadCacheSlots

Cudd_ReadDead

Method of	DdManager
Prototype	unsigned int ReadDead (self)
See Also	Cudd_ReadKeys

Cudd_ReadEpsilon

Method of	DdManager
Prototype	CUDD_VALUE_TYPE ReadEpsilon (self)
See Also	Cudd_SetEpsilon

Cudd_ReadErrorCode

Method of	DdManager
Prototype	Cudd_ErrorType ReadErrorCode (self)
See Also	Cudd_ClearErrorCode

Cudd_ReadGarbageCollectionTime

Method of	DdManager
Prototype	long ReadGarbageCollectionTime (self)
See Also	Cudd_ReadGarbageCollections

Cudd_ReadGarbageCollections

Method of	DdManager
Prototype	int ReadGarbageCollections (self)
See Also	Cudd_ReadGarbageCollectionTime

Cudd_ReadGroupcheck

Method of	DdManager
Prototype	Cudd_AggregationType ReadGroupcheck (self)
See Also	Cudd_SetGroupcheck

Cudd_ReadIndex

Method of	DdManager
Prototype	int ReadIndex (self, int i)
See Also	Cudd_ReadPerm

Cudd_ReadInvPerm

Method of	DdManager
Prototype	int ReadInvPerm (self, int i)
See Also	Cudd_ReadPerm Cudd_ReadInvPermZdd

Cudd_ReadInvPermZdd

Method of	DdManager
Prototype	int ReadInvPermZdd (self, int i)
See Also	Cudd_ReadPerm Cudd_ReadInvPermZdd

Cudd_ReadKeys

Method of	DdManager
Prototype	unsigned int ReadKeys (self)
See Also	Cudd_ReadDead

Cudd_ReadLinear

Method of	DdManager
Prototype	int ReadLinear (self, int x, int y)
See Also

Cudd_ReadLogicZero

Method of	DdManager
Prototype	DdNode ReadLogicZero (self)
See Also	Cudd_ReadOne Cudd_ReadZero

Cudd_ReadLooseUpTo

Method of	DdManager
Prototype	unsigned int ReadLooseUpTo (self)
See Also	Cudd_SetLooseUpTo Cudd_ReadMinHit Cudd_ReadMinDead

Cudd_ReadMaxCache

Method of	DdManager
Prototype	unsigned int ReadMaxCache (self)
See Also	Cudd_ReadMaxCache

Cudd_ReadMaxCacheHard

Method of	DdManager
Prototype	unsigned int ReadMaxCacheHard (self)
See Also	Cudd_SetMaxCacheHard Cudd_ReadMaxCache

Cudd_ReadMaxGrowth

Method of	DdManager
Prototype	double ReadMaxGrowth (self)
See Also	Cudd_SetMaxGrowth Cudd_ReadMaxGrowthAlternate

Cudd_ReadMaxGrowthAlternate

Method of	DdManager
Prototype	double ReadMaxGrowthAlternate (self)
See Also	Cudd_ReadMaxGrowth Cudd_SetMaxGrowthAlternate Cudd_SetReorderingCycle Cudd_ReadReorderingCycle

Cudd_ReadMaxLive

Method of	DdManager
Prototype	unsigned int ReadMaxLive (self)
See Also	Cudd_SetMaxLive

Cudd_ReadMaxMemory

Method of	DdManager
Prototype	long ReadMaxMemory (self)
See Also	Cudd_SetMaxMemory

Cudd_ReadMemoryInUse

Method of	DdManager
Prototype	long ReadMemoryInUse (self)
See Also

Cudd_ReadMinDead

Method of	DdManager
Prototype	unsigned int ReadMinDead (self)
See Also	Cudd_ReadDead Cudd_ReadLooseUpTo Cudd_SetLooseUpTo

Cudd_ReadMinHit

Method of	DdManager
Prototype	unsigned int ReadMinHit (self)
See Also	Cudd_SetMinHit

Cudd_ReadMinusInfinity

Method of	DdManager
Prototype	DdNode ReadMinusInfinity (self)
See Also

Cudd_ReadNextReordering

Method of	DdManager
Prototype	unsigned int ReadNextReordering (self)
See Also	Cudd_SetNextReordering

Cudd_ReadNodeCount

Method of	DdManager
Prototype	long ReadNodeCount (self)
See Also	Cudd_ReadPeakNodeCount Cudd_zddReadNodeCount

Cudd_ReadNodesDropped

Method of	DdManager
Prototype	double ReadNodesDropped (self)
See Also	Cudd_ReadNodesFreed

Cudd_ReadNodesFreed

Method of	DdManager
Prototype	double ReadNodesFreed (self)
See Also	Cudd_ReadNodesDropped

Cudd_ReadNumberXovers

Method of	DdManager
Prototype	int ReadNumberXovers (self)
See Also	Cudd_SetNumberXovers

Cudd_ReadOne

Method of	DdManager
Prototype	DdNode ReadOne (self)
See Also	Cudd_ReadZero Cudd_ReadLogicZero Cudd_ReadZddOne

Cudd_bddReadPairIndex

Method of	DdManager
Prototype	int ReadPairIndex (self, int index)
See Also	Cudd_bddSetPairIndex

Cudd_ReadPeakLiveNodeCount

Method of	DdManager
Prototype	int ReadPeakLiveNodeCount (self)
See Also	Cudd_ReadNodeCount Cudd_PrintInfo Cudd_ReadPeakNodeCount

Cudd_ReadPeakNodeCount

Method of	DdManager
Prototype	long ReadPeakNodeCount (self)
See Also	Cudd_ReadNodeCount Cudd_PrintInfo

Cudd_ReadPerm

Method of	DdManager
Prototype	int ReadPerm (self, int i)
See Also	Cudd_ReadInvPerm Cudd_ReadPermZdd

Cudd_ReadPermZdd

Method of	DdManager
Prototype	int ReadPermZdd (self, int i)
See Also	Cudd_ReadInvPermZdd Cudd_ReadPerm

Cudd_ReadPlusInfinity

Method of	DdManager
Prototype	DdNode ReadPlusInfinity (self)
See Also

Cudd_ReadPopulationSize

Method of	DdManager
Prototype	int ReadPopulationSize (self)
See Also	Cudd_SetPopulationSize

Cudd_ReadRecomb

Method of	DdManager
Prototype	int ReadRecomb (self)
See Also	Cudd_SetRecomb

Cudd_ReadRecursiveCalls

Method of	DdManager
Prototype	double ReadRecursiveCalls (self)
See Also

Cudd_ReadReorderingCycle

Method of	DdManager
Prototype	int ReadReorderingCycle (self)
See Also	Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowthAlternate Cudd_SetReorderingCycle

Cudd_ReadReorderingTime

Method of	DdManager
Prototype	long ReadReorderingTime (self)
See Also	Cudd_ReadReorderings

Cudd_ReadReorderings

Method of	DdManager
Prototype	int ReadReorderings (self)
See Also	Cudd_ReduceHeap Cudd_ReadReorderingTime

Cudd_ReadSiftMaxSwap

Method of	DdManager
Prototype	int ReadSiftMaxSwap (self)
See Also	Cudd_ReadSiftMaxVar Cudd_SetSiftMaxSwap

Cudd_ReadSiftMaxVar

Method of	DdManager
Prototype	int ReadSiftMaxVar (self)
See Also	Cudd_ReadSiftMaxSwap Cudd_SetSiftMaxVar

Cudd_ReadSize

Method of	DdManager
Prototype	int ReadSize (self)
See Also	Cudd_ReadZddSize

Cudd_ReadSlots

Method of	DdManager
Prototype	unsigned int ReadSlots (self)
See Also

Cudd_ReadStderr

Method of	DdManager
Prototype	FILE ReadStderr (self)
See Also	Cudd_SetStderr Cudd_ReadStdout

Cudd_ReadStdout

Method of	DdManager
Prototype	FILE ReadStdout (self)
See Also	Cudd_SetStdout Cudd_ReadStderr

Cudd_ReadSwapSteps

Method of	DdManager
Prototype	double ReadSwapSteps (self)
See Also

Cudd_ReadSymmviolation

Method of	DdManager
Prototype	int ReadSymmviolation (self)
See Also	Cudd_SetSymmviolation

Cudd_ReadTree

Method of	DdManager
Prototype	MtrNode ReadTree (self)
See Also	Cudd_SetTree Cudd_FreeTree Cudd_ReadZddTree

Cudd_ReadUniqueLinks

Method of	DdManager
Prototype	double ReadUniqueLinks (self)
See Also	Cudd_ReadUniqueLookUps

Cudd_ReadUniqueLookUps

Method of	DdManager
Prototype	double ReadUniqueLookUps (self)
See Also	Cudd_ReadUniqueLinks

Cudd_ReadUsedSlots

Method of	DdManager
Prototype	double ReadUsedSlots (self)
See Also	Cudd_ReadSlots

Cudd_ReadVars

Method of	DdManager
Prototype	DdNode ReadVars (self, int i)
See Also	Cudd_bddIthVar

Cudd_ReadZddOne

Method of	DdManager
Prototype	DdNode ReadZddOne (self, int i)
See Also	Cudd_ReadOne

Cudd_ReadZddSize

Method of	DdManager
Prototype	int ReadZddSize (self)
See Also	Cudd_ReadSize

Cudd_ReadZddTree

Method of	DdManager
Prototype	MtrNode ReadZddTree (self)
See Also	Cudd_SetZddTree Cudd_FreeZddTree Cudd_ReadTree

Cudd_ReadZero

Method of	DdManager
Prototype	DdNode ReadZero (self)
See Also	Cudd_ReadOne Cudd_ReadLogicZero

Cudd_bddRealignDisable

Method of	DdManager
Prototype	RealignDisable (self)
See Also	Cudd_bddRealignEnable Cudd_bddRealignmentEnabled Cudd_zddRealignEnable Cudd_zddRealignmentEnabled

Cudd_bddRealignEnable

Method of	DdManager
Prototype	RealignEnable (self)
See Also	Cudd_zddReduceHeap Cudd_bddRealignDisable Cudd_bddRealignmentEnabled Cudd_zddRealignDisable Cudd_zddRealignmentEnabled

Cudd_bddRealignmentEnabled

Method of	DdManager
Prototype	int RealignmentEnabled (self)
See Also	Cudd_bddRealignEnable Cudd_bddRealignDisable Cudd_zddRealignEnable Cudd_zddRealignDisable

Cudd_ReduceHeap

Method of	DdManager
Prototype	int ReduceHeap (self, int heuristic, int minsize)
See Also

Cudd_ReorderingReporting

Method of	DdManager
Prototype	int ReorderingReporting (self)
See Also	Cudd_EnableReorderingReporting Cudd_DisableReorderingReporting

Cudd_ReorderingStatus

Method of	DdManager
Prototype	(int, int status) ReorderingStatus (self)
See Also	Cudd_AutodynEnable Cudd_AutodynDisable Cudd_ReorderingStatusZdd

Cudd_ReorderingStatusZdd

Method of	DdManager
Prototype	(int, int status) ReorderingStatusZdd (self)
See Also	Cudd_AutodynEnableZdd Cudd_AutodynDisableZdd Cudd_ReorderingStatus

Cudd_bddResetVarToBeGrouped

Method of	DdManager
Prototype	int ResetVarToBeGrouped (self, int index)
See Also	Cudd_bddSetVarToBeGrouped Cudd_bddSetVarHardGroup

Cudd_SetArcviolation

Method of	DdManager
Prototype	SetArcviolation (self, int arcviolation)
See Also	Cudd_ReadArcviolation

Cudd_SetEpsilon

Method of	DdManager
Prototype	SetEpsilon (self, CUDD_VALUE_TYPE ep)
See Also	Cudd_ReadEpsilon

Cudd_SetGroupcheck

Method of	DdManager
Prototype	SetGroupcheck (self, Cudd_AggregationType gc)
See Also

Cudd_SetLooseUpTo

Method of	DdManager
Prototype	SetLooseUpTo (self, unsigned int lut)
See Also	Cudd_ReadLooseUpTo Cudd_SetMinHit

Cudd_SetMaxCacheHard

Method of	DdManager
Prototype	SetMaxCacheHard (self, unsigned int mc)
See Also	Cudd_ReadMaxCacheHard

Cudd_SetMaxGrowth

Method of	DdManager
Prototype	SetMaxGrowth (self, double mg)
See Also	Cudd_ReadMaxGrowth Cudd_SetMaxGrowthAlternate

Cudd_SetMaxGrowthAlternate

Method of	DdManager
Prototype	SetMaxGrowthAlternate (self, double mg)
See Also	Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowth Cudd_SetReorderingCycle Cudd_ReadReorderingCycle

Cudd_SetMaxLive

Method of	DdManager
Prototype	SetMaxLive (self, unsigned int maxLive)
See Also	Cudd_ReadMaxLive

Cudd_SetMaxMemory

Method of	DdManager
Prototype	SetMaxMemory (self, long maxMemory)
See Also	Cudd_ReadMaxMemory

Cudd_SetMinHit

Method of	DdManager
Prototype	SetMinHit (self, unsigned int hr)
See Also	Cudd_ReadMinHit

Cudd_SetNextReordering

Method of	DdManager
Prototype	SetNextReordering (self, unsigned int next)
See Also	Cudd_ReadNextReordering

Cudd_bddSetNsVar

Method of	DdManager
Prototype	int SetNsVar (self, int index)
See Also	Cudd_bddSetPiVar Cudd_bddSetPsVar Cudd_bddIsNsVar

Cudd_SetNumberXovers

Method of	DdManager
Prototype	SetNumberXovers (self, int numberXovers)
See Also	Cudd_ReadNumberXovers

Cudd_bddSetPairIndex

Method of	DdManager
Prototype	int SetPairIndex (self, int index, int pairIndex)
See Also	Cudd_bddReadPairIndex

Cudd_bddSetPiVar

Method of	DdManager
Prototype	int SetPiVar (self, int index)
See Also	Cudd_bddSetPsVar Cudd_bddSetNsVar Cudd_bddIsPiVar

Cudd_SetPopulationSize

Method of	DdManager
Prototype	SetPopulationSize (self, int populationSize)
See Also	Cudd_ReadPopulationSize

Cudd_bddSetPsVar

Method of	DdManager
Prototype	int SetPsVar (self, int index)
See Also	Cudd_bddSetPiVar Cudd_bddSetNsVar Cudd_bddIsPsVar

Cudd_SetRecomb

Method of	DdManager
Prototype	SetRecomb (self, int recomb)
See Also	Cudd_ReadRecomb

Cudd_SetReorderingCycle

Method of	DdManager
Prototype	SetReorderingCycle (self, int cycle)
See Also	Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowthAlternate Cudd_ReadReorderingCycle

Cudd_SetSiftMaxSwap

Method of	DdManager
Prototype	SetSiftMaxSwap (self, int sms)
See Also	Cudd_SetSiftMaxVar Cudd_ReadSiftMaxSwap

Cudd_SetSiftMaxVar

Method of	DdManager
Prototype	SetSiftMaxVar (self, int smv)
See Also	Cudd_SetSiftMaxSwap Cudd_ReadSiftMaxVar

Cudd_SetStderr

Method of	DdManager
Prototype	SetStderr (self, FILE fp)
See Also	Cudd_ReadStderr Cudd_SetStdout

Cudd_SetStdout

Method of	DdManager
Prototype	SetStdout (self, FILE fp)
See Also	Cudd_ReadStdout Cudd_SetStderr

Cudd_SetSymmviolation

Method of	DdManager
Prototype	SetSymmviolation (self, int symmviolation)
See Also	Cudd_ReadSymmviolation

Cudd_SetTree

Method of	DdManager
Prototype	SetTree (self, MtrNode tree)
See Also	Cudd_FreeTree Cudd_ReadTree Cudd_SetZddTree

Cudd_bddSetVarHardGroup

Method of	DdManager
Prototype	int SetVarHardGroup (self, int index)
See Also	Cudd_bddSetVarToBeGrouped Cudd_bddResetVarToBeGrouped Cudd_bddIsVarHardGroup

Cudd_SetVarMap

Method of	DdManager
Prototype	int SetVarMap (self, DdArray x, DdArray y, int n)
See Also	Cudd_bddVarMap Cudd_bddPermute Cudd_bddSwapVariables

Cudd_bddSetVarToBeGrouped

Method of	DdManager
Prototype	int SetVarToBeGrouped (self, int index)
See Also	Cudd_bddSetVarHardGroup Cudd_bddResetVarToBeGrouped

Cudd_bddSetVarToBeUngrouped

Method of	DdManager
Prototype	int SetVarToBeUngrouped (self, int index)
See Also	Cudd_bddIsVarToBeUngrouped

Cudd_SetZddTree

Method of	DdManager
Prototype	SetZddTree (self, MtrNode tree)
See Also	Cudd_FreeZddTree Cudd_ReadZddTree Cudd_SetTree

Cudd_SharingSize

Method of	DdManager
Prototype	int SharingSize (self, DdArray nodeArray, int n)
See Also	Cudd_DagSize

Cudd_ShuffleHeap

Method of	DdManager
Prototype	int ShuffleHeap (self, IntArray permutation)
See Also	Cudd_ReduceHeap

Cudd_Srandom

Method of	DdManager
Prototype	Srandom (self, long seed)
See Also	Cudd_Random

Cudd_SymmProfile

Method of	DdManager
Prototype	SymmProfile (self, int lower, int upper)
See Also

Cudd_bddTransfer

Method of	DdManager
Prototype	DdNode Transfer (self, DdManager ddDestination, DdNode f)
See Also

Cudd_TurnOffCountDead

Method of	DdManager
Prototype	TurnOffCountDead (self)
See Also	Cudd_TurnOnCountDead Cudd_DeadAreCounted

Cudd_TurnOnCountDead

Method of	DdManager
Prototype	TurnOnCountDead (self)
See Also	Cudd_TurnOffCountDead Cudd_DeadAreCounted

Cudd_bddUnbindVar

Method of	DdManager
Prototype	int UnbindVar (self, int index)
See Also	Cudd_bddBindVar

Cudd_bddVarIsBound

Method of	DdManager
Prototype	int VarIsBound (self, int index)
See Also	Cudd_bddBindVar Cudd_bddUnbindVar

Cudd_VectorSupportSize

Method of	DdManager
Prototype	int VectorSupportSize (self, DdArray F, int n)
See Also	Cudd_VectorSupport Cudd_SupportSize

Cudd_Xeqy

Method of	DdManager
Prototype	DdNode Xeqy (self, int N, DdArray x, DdArray y)
See Also	Cudd_addXeqy

Cudd_Xgty

Method of	DdManager
Prototype	DdNode Xgty (self, int N, DdArray z, DdArray x, DdArray y)
See Also	Cudd_Dxygtdxz Cudd_Dxygtdyz

Cudd_addAgreement

Method of	DdManager
Prototype	DdNode addAgreement (self, DdArray f, DdArray g)
See Also

Cudd_addBddInterval

Method of	DdManager
Prototype	DdNode addBddInterval (self, DdNode f, CUDD_VALUE_TYPE lower, CUDD_VALUE_TYPE upper)
See Also	Cudd_addBddThreshold Cudd_addBddStrictThreshold Cudd_addBddPattern Cudd_BddToAdd

Cudd_addBddIthBit

Method of	DdManager
Prototype	DdNode addBddIthBit (self, DdNode f, int bit)
See Also	Cudd_addBddInterval Cudd_addBddPattern Cudd_BddToAdd

Cudd_addBddPattern

Method of	DdManager
Prototype	DdNode addBddPattern (self, DdNode f)
See Also	Cudd_BddToAdd Cudd_addBddThreshold Cudd_addBddInterval Cudd_addBddStrictThreshold

Cudd_addBddStrictThreshold

Method of	DdManager
Prototype	DdNode addBddStrictThreshold (self, DdNode f, CUDD_VALUE_TYPE value)
See Also	Cudd_addBddInterval Cudd_addBddPattern Cudd_BddToAdd Cudd_addBddThreshold

Cudd_addBddThreshold

Method of	DdManager
Prototype	DdNode addBddThreshold (self, DdNode f, CUDD_VALUE_TYPE value)
See Also	Cudd_addBddInterval Cudd_addBddPattern Cudd_BddToAdd Cudd_addBddStrictThreshold

Cudd_addComputeCube

Method of	DdManager
Prototype	DdNode addComputeCube (self, DdArray vars, IntArray phase, int n)
See Also	Cudd_bddComputeCube

Cudd_addConst

Method of	DdManager
Prototype	DdNode addConst (self, CUDD_VALUE_TYPE c)
See Also	Cudd_addNewVar Cudd_addIthVar

Cudd_addDiff

Method of	DdManager
Prototype	DdNode addDiff (self, DdArray f, DdArray g)
See Also

Cudd_addDivide

Method of	DdManager
Prototype	DdNode addDivide (self, DdArray f, DdArray g)
See Also

Cudd_addHamming

Method of	DdManager
Prototype	DdNode addHamming (self, DdArray xVars, DdArray yVars, int nVars)
See Also

Cudd_addIthVar

Method of	DdManager
Prototype	DdNode addIthVar (self, int i)
See Also	Cudd_addNewVar Cudd_bddIthVar Cudd_addConst Cudd_addNewVarAtLevel

Cudd_addMaximum

Method of	DdManager
Prototype	DdNode addMaximum (self, DdArray f, DdArray g)
See Also

Cudd_addMinimum

Method of	DdManager
Prototype	DdNode addMinimum (self, DdArray f, DdArray g)
See Also

Cudd_addMinus

Method of	DdManager
Prototype	DdNode addMinus (self, DdArray f, DdArray g)
See Also

Cudd_addNand

Method of	DdManager
Prototype	DdNode addNand (self, DdArray f, DdArray g)
See Also

Cudd_addNewVar

Method of	DdManager
Prototype	DdNode addNewVar (self)
See Also	Cudd_bddNewVar Cudd_addIthVar Cudd_addConst Cudd_addNewVarAtLevel

Cudd_addNewVarAtLevel

Method of	DdManager
Prototype	DdNode addNewVarAtLevel (self, int level)
See Also	Cudd_addNewVar Cudd_addIthVar Cudd_bddNewVarAtLevel

Cudd_addNor

Method of	DdManager
Prototype	DdNode addNor (self, DdArray f, DdArray g)
See Also

Cudd_addOneZeroMaximum

Method of	DdManager
Prototype	DdNode addOneZeroMaximum (self, DdArray f, DdArray g)
See Also

Cudd_addOr

Method of	DdManager
Prototype	DdNode addOr (self, DdArray f, DdArray g)
See Also

Cudd_addPlus

Method of	DdManager
Prototype	DdNode addPlus (self, DdArray f, DdArray g)
See Also

Cudd_addResidue

Method of	DdManager
Prototype	DdNode addResidue (self, int n, int m, int options, int top)
See Also

Cudd_addSetNZ

Method of	DdManager
Prototype	DdNode addSetNZ (self, DdArray f, DdArray g)
See Also

Cudd_addThreshold

Method of	DdManager
Prototype	DdNode addThreshold (self, DdArray f, DdArray g)
See Also

Cudd_addTimes

Method of	DdManager
Prototype	DdNode addTimes (self, DdArray f, DdArray g)
See Also

Cudd_addWalsh

Method of	DdManager
Prototype	DdNode addWalsh (self, DdArray x, DdArray y, int n)
See Also

Cudd_addXeqy

Method of	DdManager
Prototype	DdNode addXeqy (self, int N, DdArray x, DdArray y)
See Also	Cudd_Xeqy

Cudd_addXnor

Method of	DdManager
Prototype	DdNode addXnor (self, DdArray f, DdArray g)
See Also

Cudd_addXor

Method of	DdManager
Prototype	DdNode addXor (self, DdArray f, DdArray g)
See Also

Cudd_zddDumpDot

Method of	DdManager
Prototype	int zddDumpDot (self, int n, DdArray f, char inames, char onames, FILE fp)
See Also	Cudd_DumpDot Cudd_zddPrintDebug

Cudd_zddIthVar

Method of	DdManager
Prototype	DdNode zddIthVar (self, int i)
See Also	Cudd_bddIthVar Cudd_addIthVar

Cudd_zddPortFromBdd

Method of	DdManager
Prototype	DdNode zddPortFromBdd (self, DdNode B)
See Also	Cudd_zddVarsFromBddVars

Cudd_zddPortToBdd

Method of	DdManager
Prototype	DdNode zddPortToBdd (self, DdNode f)
See Also	Cudd_zddPortFromBdd

Cudd_zddPrintSubtable

Method of	DdManager
Prototype	zddPrintSubtable (self)
See Also

Cudd_zddReadNodeCount

Method of	DdManager
Prototype	long zddReadNodeCount (self)
See Also	Cudd_ReadPeakNodeCount Cudd_ReadNodeCount

Cudd_zddRealignDisable

Method of	DdManager
Prototype	zddRealignDisable (self)
See Also	Cudd_zddRealignEnable Cudd_zddRealignmentEnabled Cudd_bddRealignEnable Cudd_bddRealignmentEnabled

Cudd_zddRealignEnable

Method of	DdManager
Prototype	zddRealignEnable (self)
See Also	Cudd_ReduceHeap Cudd_zddRealignDisable Cudd_zddRealignmentEnabled Cudd_bddRealignDisable Cudd_bddRealignmentEnabled

Cudd_zddRealignmentEnabled

Method of	DdManager
Prototype	int zddRealignmentEnabled (self)
See Also	Cudd_zddRealignEnable Cudd_zddRealignDisable Cudd_bddRealignEnable Cudd_bddRealignDisable

Cudd_zddReduceHeap

Method of	DdManager
Prototype	int zddReduceHeap (self, int heuristic, int minsize)
See Also

Cudd_zddShuffleHeap

Method of	DdManager
Prototype	int zddShuffleHeap (self, IntArray permutation)
See Also	Cudd_zddReduceHeap

Cudd_zddSymmProfile

Method of	DdManager
Prototype	zddSymmProfile (self, int lower, int upper)
See Also

Cudd_zddVarsFromBddVars

Method of	DdManager
Prototype	int zddVarsFromBddVars (self, int multiplicity)
See Also	Cudd_bddNewVar Cudd_bddIthVar Cudd_bddNewVarAtLevel

Additions to DdManager in PyCUDD

KillNode	KillNode (self, long num)
DisplayBinary	int DisplayBinary (self, char filein, char fileout)
PrintStdOut	int PrintStdOut (self)
GarbageCollect	int GarbageCollect (self, int clearCache)
Zero	DdNode Zero (self)
ArrayLoad	int ArrayLoad (self, int rootmatchmode, char rootmatchnames, int varmatchmode, char varmatchnames, IntArray varmatchauxids, IntArray varcomposeids, int mode, char filename, FILE fp, DdArray pproots)
Text2Bin	int Text2Bin (self, char filein, char fileout)
StateCube	DdNode StateCube (self, char cube, int base, int offset, int scale)
ArrayStore	int ArrayStore (self, char ddname, DdArray roots, char rootnames, char varnames, IntArray auxids, int mode, int varinfo, char filename, FILE fp)
SetDefault	SetDefault (self)
Bin2Text	int Bin2Text (self, char filein, char fileout)
Sort	int Sort (self, DdNode leftnd, DdNode rightnd)
BddStore	int BddStore (self, char ddname, DdNode f, char varnames, IntArray auxids, int mode, int varinfo, char fname, FILE fp)
One	DdNode One (self)
BddLoad	DdNode BddLoad (self, int varmatchmode, char varmatchnames, IntArray varmatchauxids, IntArray varcomposeids, int mode, char filename, FILE fp)

DdArray

This class provides an array of DdNodes. This is an addition to the CUDD package. Create a DdArray by calling the constructor with the length of the array. In terms of Python array-like behaviour, you can index it, assign individual elements and take its length. Typically, these arrays are populated via the Push method. Refer pycudd.h and pycudd.cpp for function details.

Additions in PyCUDD

CUDD function mapping

Cudd_bddAnd

Method of	DdArray
Prototype	DdNode And (self)
See Also	Cudd_bddIte Cudd_bddAndAbstract Cudd_bddIntersect Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor

Cudd_bddCompose

Method of	DdArray
Prototype	DdNode Compose (self, DdNode term)
See Also	Cudd_addCompose

Cudd_bddOr

Method of	DdArray
Prototype	DdNode Or (self)
See Also	Cudd_bddIte Cudd_bddAnd Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor

Cudd_bddPickOneMinterm

Method of	DdArray
Prototype	DdNode PickOneMinterm (self, DdNode term)
See Also	Cudd_bddPickOneCube

Cudd_SetVarMap

Method of	DdArray
Prototype	int SetVarMap (self, DdArray other)
See Also	Cudd_bddVarMap Cudd_bddPermute Cudd_bddSwapVariables

Cudd_VectorSupport

Method of	DdArray
Prototype	DdNode VectorSupport (self)
See Also	Cudd_Support Cudd_ClassifySupport

Cudd_VectorSupportIndex

Method of	DdArray
Prototype	(int, int sup) VectorSupportIndex (self)
See Also	Cudd_SupportIndex Cudd_VectorSupport Cudd_ClassifySupport

Additions to DdArray in PyCUDD

UpToN	DdNode UpToN (self, int n)
AtLeastN	DdNode AtLeastN (self, int n)
ArrayLoad	int ArrayLoad (self, int rootmatchmode, StringArray rootmatchnames, int varmatchmode, StringArray varmatchnames, IntArray varmatchauxids, IntArray varcomposeids, int mode, char filename)
Swap	Swap (self, int i, int j)
SwapNodes	SwapNodes (self, int i, int j)
Save	int Save (self, char filename)
SupportVector	SupportVector (self, DdNode term)
FillWithIntArray	FillWithIntArray (self, IntArray t)
ExactlyN	DdNode ExactlyN (self, int n)
Constraint	DdNode Constraint (self, int low, int high)
ArrayStore	int ArrayStore (self, char ddname, StringArray rootnames, StringArray varnames, IntArray auxids, int mode, int varinfo, char filename)
OrderVector	OrderVector (self, int left, int right)
Push	Push (self, DdNode val)
Assign	Assign (self, DdNode list, int k)
Load	int Load (self, char filename)
Pop	DdNode Pop (self)
LoadText	int LoadText (self, char filename)
HoldTR	DdNode HoldTR (self, DdArray other)
SaveText	int SaveText (self, char filename)
Find	int Find (self, DdNode term)
Fill	Fill (self, int offset, int mod)

IntArray

Proxy of C++ IntArray class

Additions in PyCUDD

CUDD function mapping

Additions to IntArray in PyCUDD

Swap	Swap (self, int i, int j)
Assign	Assign (self, int list, int k)
ArrayAddress	int ArrayAddress (self)
AssignVect	AssignVect (self, int str, int size)
AssignComplVect	AssignComplVect (self, int str, int size, int univ)

StringArray

Proxy of C++ StringArray class

Additions in PyCUDD

CUDD function mapping

Additions to StringArray in PyCUDD

Swap	Swap (self, int i, int j)
Assign	Assign (self, char list, int k)
ArrayAddress	char ArrayAddress (self)

DoubleArray

Proxy of C++ DoubleArray class

Additions in PyCUDD

CUDD function mapping

Additions to DoubleArray in PyCUDD

Swap	Swap (self, int i, int j)
Assign	Assign (self, double list, int k)

DdGen

Not expected to be used directly.

Additions in PyCUDD

CUDD function mapping

Additions to DdGen in PyCUDD

DdTlcInfo

Helper class for enumeration of two literal clauses. Look at example2.py for usage.

Additions in PyCUDD

CUDD function mapping

Cudd_ReadIthClause

Method of	DdTlcInfo
Prototype	(int, DdHalfWord var1, DdHalfWord var2, int phase1, int phase2) ReadIthClause (self, int i)
See Also	Cudd_FindTwoLiteralClauses

Additions to DdTlcInfo in PyCUDD

NodePair

This is used to provide the functionality of prime enumeration in CUDD 2.4.0. Create the NodePair by passing the DdNodes for lower and upper to the constructor. Once that is done, you can iterate over the primes of the NodePair using the Python for statement. There is no need to do this if you are interested in the primes of a simple DdNode -- the package automatically creates the NodePair and destroys it in that case.

Additions in PyCUDD

CUDD function mapping

Cudd_FirstPrime

Method of	NodePair
Prototype	(int, int cube) FirstPrime (self, DdGen gen)
See Also	Cudd_NextPrime Cudd_FirstCube Cudd_FirstNode

Cudd_NextPrime

Method of	NodePair
Prototype	(int, int cube) NextPrime (self, DdGen gen)
See Also	Cudd_FirstPrime Cudd_NextCube Cudd_NextNode

Additions to NodePair in PyCUDD

UPPER	DdNode UPPER (self)
LOWER	DdNode LOWER (self)

EpDouble

This provides the functionality of CUDD's extended precision library. In particular, instances of EpDouble may be passed to DdNode.EpdCountMinterm to retrieve the extended counts. Note also that the basic arithmetic operators (+,-,*,/) have been overloaded for use with EpDouble instances

Additions in PyCUDD

CUDD function mapping

Additions to EpDouble in PyCUDD

EpdMakeZero	EpdMakeZero (self, int sign)
EpdCopy	EpdCopy (self, EpDouble to)
EpdIsZero	bool EpdIsZero (self)
EpdIsNan	bool EpdIsNan (self)
EpdNormalize	EpdNormalize (self)
EpdDivide2	EpdDivide2 (self, EpDouble epd2)
EpdDivide3	EpdDivide3 (self, EpDouble epd2, EpDouble epd3)
EpdMultiply3	EpdMultiply3 (self, EpDouble epd2, EpDouble epd3)
EpdMultiply2	EpdMultiply2 (self, EpDouble epd2)
EpdIsNanOrInf	bool EpdIsNanOrInf (self)
EpdIsInf	bool EpdIsInf (self)
EpdAdd2	EpdAdd2 (self, EpDouble epd2)
EpdNormalizeDecimal	EpdNormalizeDecimal (self)
EpdSubtract	EpdSubtract (self, double value)
EpdDivide	EpdDivide (self, double value)
EpdConvert	EpdConvert (self, double value)
EpdAdd	EpdAdd (self, double value)
EpdMultiply2Decimal	EpdMultiply2Decimal (self, EpDouble epd2)
EpdPow2	EpdPow2 (self, int n)
EpdGetValueAndDecimalExponent	(double value, int exponent) EpdGetValueAndDecimalExponent (self)
EpdAdd3	EpdAdd3 (self, EpDouble epd2, EpDouble epd3)
EpdSubtract3	EpdSubtract3 (self, EpDouble epd2, EpDouble epd3)
EpdSubtract2	EpdSubtract2 (self, EpDouble epd2)
EpdCmp	bool EpdCmp (self, EpDouble other)
EpdMakeNan	EpdMakeNan (self)
EpdMultiply3Decimal	EpdMultiply3Decimal (self, EpDouble epd2, EpDouble epd3)
EpdPow2Decimal	EpdPow2Decimal (self, int n)
EpdMakeInf	EpdMakeInf (self, int sign)
EpdMultiply	EpdMultiply (self, double value)