DdManager (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:DdManager (Results 1 – 25 of 416) sorted by relevance

12 3 4 5 6 7 8 9 10 >>...17

/dports/math/cudd/cudd-3.0.0/cudd/
H A D	cudd.h	204 typedef struct DdManager DdManager; typedef 270 typedef void (DD_TOHFP)(DdManager , void ); 550 extern DdNode Cudd_ReadOne(DdManager dd); 570 extern int Cudd_ReadSize(DdManager dd); 571 extern int Cudd_ReadZddSize(DdManager dd); 614 extern int Cudd_ReadRecomb(DdManager dd); 755 extern DdNode * Cudd_bddTransfer(DdManager ddSource, DdManager ddDestination, DdNode f); 757 extern int Cudd_CheckKeys(DdManager table); 812 extern void Cudd_Quit(DdManager unique); 912 extern int32_t Cudd_Random(DdManager dd); [all …]
H A D	cuddInt.h	275 DdManager manager; 335 DdManager manager; 362 DdManager manager; /< %DD manager / 399 struct DdManager { struct 606 DdManager manager; 1065 extern DdNode cuddAddMonadicApplyRecur(DdManager * dd, DdNode * (op)(DdManager , DdNode ), DdN… 1083 extern DdNode cuddBddTransfer(DdManager ddS, DdManager ddD, DdNode f); 1088 extern void cuddCacheInsert1(DdManager table, DdNode * ()(DdManager , DdNode ), DdNode f, DdNo… 1092 extern DdNode * cuddCacheLookup1(DdManager table, DdNode ()(DdManager , DdNode ), DdNode f); 1094 extern DdNode * cuddCacheLookup1Zdd(DdManager table, DdNode ()(DdManager , DdNode ), DdNode … [all …]
H A D	cuddAPI.c	`106 DdManager * dd) in Cudd_addNewVar() 142 DdManager * dd, in Cudd_addNewVarAtLevel() 181 DdManager * dd) in Cudd_bddNewVar() 211 DdManager * dd, in Cudd_bddNewVarAtLevel() 237 DdManager * dd, in Cudd_bddIsVar() 264 DdManager * dd, in Cudd_addIthVar() 302 DdManager * dd, in Cudd_bddIthVar() 337 DdManager * dd, in Cudd_zddIthVar() 533 DdManager * dd, in Cudd_addConst() 1287 DdManager * dd) in Cudd_ReadOne() [all …]`
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A D	cudd.h	293 typedef struct DdManager DdManager; typedef 319 typedef DdNode * (DD_MAOP)(DdManager , DdNode ); 322 typedef DdNode (DD_CTFP1)(DdManager , DdNode ); 654 extern DdNode Cudd_ReadOne( DdManager * dd ); 656 extern DdNode * Cudd_ReadZero( DdManager * dd ); 674 extern int Cudd_ReadSize( DdManager * dd ); 679 extern unsigned int Cudd_ReadKeys( DdManager * dd ); 680 extern unsigned int Cudd_ReadDead( DdManager * dd ); 765 extern DdNode * Cudd_addApply( DdManager * dd, DdNode * ( * )(DdManager * , DdNode ** , DdNo… 782 extern DdNode * Cudd_addMonadicApply( DdManager * dd, DdNode * ( * op)(DdManager * , DdNode … [all …]
H A D	cuddInt.h	205 DdManager manager; 290 DdManager manager; 313 DdManager manager; 1050 extern DdNode cuddAddApplyRecur( DdManager * dd, DdNode * ()(DdManager , DdNode ** , Dd… 1051 extern DdNode * cuddAddMonadicApplyRecur( DdManager * dd, DdNode * ()(DdManager , DdNode… 1069 extern DdNode * cuddBddTransfer( DdManager * ddS, DdManager * ddD, DdNode * f ); 1074 extern void cuddCacheInsert1( DdManager * table, DdNode * ()(DdManager , DdNode ), D… 1077 extern DdNode cuddCacheLookup2( DdManager * table, DdNode * ()(DdManager , DdNode * , D… 1078 extern DdNode * cuddCacheLookup1( DdManager * table, DdNode * ()(DdManager , DdNode ), D… 1079 extern DdNode cuddCacheLookup2Zdd( DdManager * table, DdNode * ()(DdManager , DdNode * … [all …]
H A D	cuddAPI.c	`260 DdManager * dd) in Cudd_addNewVar() 291 DdManager * dd, in Cudd_addNewVarAtLevel() 324 DdManager * dd) in Cudd_bddNewVar() 352 DdManager * dd, in Cudd_bddNewVarAtLevel() 385 DdManager * dd, in Cudd_addIthVar() 417 DdManager * dd, in Cudd_bddIthVar() 449 DdManager * dd, in Cudd_zddIthVar() 621 DdManager * dd, in Cudd_addConst() 988 DdManager * dd) in Cudd_ReadOne() 1011 DdManager * dd, in Cudd_ReadZddOne() [all …]`
/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A D	cudd.h	308 typedef struct PBORI_PREFIX(DdManager) PBORI_PREFIX(DdManager); 680 extern DdNode * Cudd_ReadOne (PBORI_PREFIX(DdManager) dd); 700 extern int Cudd_ReadSize (PBORI_PREFIX(DdManager) dd); 731 extern void Cudd_FreeTree (PBORI_PREFIX(DdManager) dd); 734 extern void Cudd_FreeZddTree (PBORI_PREFIX(DdManager) dd); 752 extern int Cudd_ReadRecomb (PBORI_PREFIX(DdManager) dd); 784 extern FILE Cudd_ReadStdout (PBORI_PREFIX(DdManager) dd); 801 extern DdNode Cudd_addApply (PBORI_PREFIX(DdManager) dd, DdNode ()(PBORI_PREFIX(DdManager) ,… 818 …tern DdNode * Cudd_addMonadicApply (PBORI_PREFIX(DdManager) * dd, DdNode * (op)(PBORI_PREFIX(DdMa… 888 extern DdNode Cudd_bddTransfer (PBORI_PREFIX(DdManager) ddSource, PBORI_PREFIX(DdManager) ddDes… [all …]
H A D	cuddInt.h	229 PBORI_PREFIX(DdManager) manager; 297 PBORI_PREFIX(DdManager) manager; 320 PBORI_PREFIX(DdManager) manager; 1028 … DdNode cuddAddMonadicApplyRecur (PBORI_PREFIX(DdManager) * dd, DdNode * (op)(PBORI_PREFIX(DdMa… 1046 extern DdNode cuddBddTransfer (PBORI_PREFIX(DdManager) ddS, PBORI_PREFIX(DdManager) ddD, DdNode… 1055 …e * PBORI_PREFIX(cuddCacheLookup1) (PBORI_PREFIX(DdManager) table, DdNode ()(PBORI_PREFIX(DdMa… 1057 … PBORI_PREFIX(cuddCacheLookup1Zdd) (PBORI_PREFIX(DdManager) table, DdNode * ()(PBORI_PREFIX(DdMa… 1063 extern int cuddHeapProfile (PBORI_PREFIX(DdManager) dd); 1121 extern int cuddInitLinear (PBORI_PREFIX(DdManager) table); 1168 PBORI_PREFIX(DdManager) zdd, in PBORI_PREFIX() [all …]
H A D	cuddAPI.c	`279 DdManager * dd) in Cudd_addNewVar() 310 DdManager * dd, in Cudd_addNewVarAtLevel() 343 DdManager * dd) in Cudd_bddNewVar() 371 DdManager * dd, in Cudd_bddNewVarAtLevel() 404 DdManager * dd, in Cudd_addIthVar() 436 DdManager * dd, in Cudd_bddIthVar() 468 DdManager * dd, in Cudd_zddIthVar() 641 DdManager * dd, in Cudd_addConst() 1234 DdManager * dd) in Cudd_ReadOne() 1257 DdManager * dd, in Cudd_ReadZddOne() [all …]`
H A D	RELEASE.NOTES	29 unsigned long Cudd_ReadStartTime(DdManager unique); 35 void Cudd_ResetStartTime(DdManager unique); 41 void Cudd_UpdateTimeLimit(DdManager * unique); 45 void Cudd_UnsetTimeLimit(DdManager unique); 47 int Cudd_TimeLimited(DdManager unique); 59 int Cudd_EnableOrderingMonitoring(DdManager dd); 61 int Cudd_DisableOrderingMonitoring(DdManager dd); 63 int Cudd_OrderingMonitoring(DdManager dd); 73 int Cudd_CheckCube (DdManager dd, DdNode g); 79 int Cudd_Reserve(DdManager manager, int amount); [all …]
H A D	cuddAddApply.c	`135 DdManager * dd, in Cudd_addExistAbstract() 165 DdManager * dd, 205 DdManager * dd, 245 DdManager * dd, 279 DdManager * dd, 309 DdManager * dd, 346 DdManager * dd, 382 DdManager * dd, 427 DdManager * dd, 473 DdManager * dd, in cuddAddOrAbstractRecur() [all …]`
/dports/math/brial/BRiAl-1.2.10/cudd/
H A D	cudd.h	308 typedef struct PBORI_PREFIX(DdManager) PBORI_PREFIX(DdManager); 680 extern DdNode * Cudd_ReadOne (PBORI_PREFIX(DdManager) dd); 700 extern int Cudd_ReadSize (PBORI_PREFIX(DdManager) dd); 731 extern void Cudd_FreeTree (PBORI_PREFIX(DdManager) dd); 734 extern void Cudd_FreeZddTree (PBORI_PREFIX(DdManager) dd); 752 extern int Cudd_ReadRecomb (PBORI_PREFIX(DdManager) dd); 784 extern FILE Cudd_ReadStdout (PBORI_PREFIX(DdManager) dd); 801 extern DdNode Cudd_addApply (PBORI_PREFIX(DdManager) dd, DdNode ()(PBORI_PREFIX(DdManager) ,… 818 …tern DdNode * Cudd_addMonadicApply (PBORI_PREFIX(DdManager) * dd, DdNode * (op)(PBORI_PREFIX(DdMa… 888 extern DdNode Cudd_bddTransfer (PBORI_PREFIX(DdManager) ddSource, PBORI_PREFIX(DdManager) ddDes… [all …]
H A D	cuddInt.h	229 PBORI_PREFIX(DdManager) manager; 297 PBORI_PREFIX(DdManager) manager; 320 PBORI_PREFIX(DdManager) manager; 1028 … DdNode cuddAddMonadicApplyRecur (PBORI_PREFIX(DdManager) * dd, DdNode * (op)(PBORI_PREFIX(DdMa… 1046 extern DdNode cuddBddTransfer (PBORI_PREFIX(DdManager) ddS, PBORI_PREFIX(DdManager) ddD, DdNode… 1055 …e * PBORI_PREFIX(cuddCacheLookup1) (PBORI_PREFIX(DdManager) table, DdNode ()(PBORI_PREFIX(DdMa… 1057 … PBORI_PREFIX(cuddCacheLookup1Zdd) (PBORI_PREFIX(DdManager) table, DdNode * ()(PBORI_PREFIX(DdMa… 1063 extern int cuddHeapProfile (PBORI_PREFIX(DdManager) dd); 1121 extern int cuddInitLinear (PBORI_PREFIX(DdManager) table); 1168 PBORI_PREFIX(DdManager) zdd, in PBORI_PREFIX() [all …]
H A D	cuddAPI.c	`279 DdManager * dd) in Cudd_addNewVar() 310 DdManager * dd, in Cudd_addNewVarAtLevel() 343 DdManager * dd) in Cudd_bddNewVar() 371 DdManager * dd, in Cudd_bddNewVarAtLevel() 404 DdManager * dd, in Cudd_addIthVar() 436 DdManager * dd, in Cudd_bddIthVar() 468 DdManager * dd, in Cudd_zddIthVar() 641 DdManager * dd, in Cudd_addConst() 1234 DdManager * dd) in Cudd_ReadOne() 1257 DdManager * dd, in Cudd_ReadZddOne() [all …]`
H A D	RELEASE.NOTES	29 unsigned long Cudd_ReadStartTime(DdManager unique); 35 void Cudd_ResetStartTime(DdManager unique); 41 void Cudd_UpdateTimeLimit(DdManager * unique); 45 void Cudd_UnsetTimeLimit(DdManager unique); 47 int Cudd_TimeLimited(DdManager unique); 59 int Cudd_EnableOrderingMonitoring(DdManager dd); 61 int Cudd_DisableOrderingMonitoring(DdManager dd); 63 int Cudd_OrderingMonitoring(DdManager dd); 73 int Cudd_CheckCube (DdManager dd, DdNode g); 79 int Cudd_Reserve(DdManager manager, int amount); [all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A D	extraBdd.h	148 DdManager * dd, DdNode * bCare, 157 DdManager * dd, DdNode * bCare, 166 extern DdNode * Extra_TransferPermute( DdManager * ddSource, DdManager * ddDestination, DdNode … 167 extern DdNode * Extra_TransferLevelByLevel( DdManager * ddSource, DdManager * ddDestination, Dd… 171 extern void Extra_StopManager( DdManager * dd ); 172 extern void Extra_bddPrint( DdManager * dd, DdNode * F ); 191 extern DdNode * Extra_zddPrimes( DdManager * dd, DdNode * F ); 197 extern DdNode * Extra_bddAndPermute( DdManager * ddF, DdNode * bF, DdManager * ddG, DdNode * bG… 212 extern DdNode * Extra_zddMaximal (DdManager dd, DdNode S); 213 extern DdNode * extraZddMaximal (DdManager dd, DdNode S); [all …]
/dports/lang/yap/yap-6.2.2/packages/ProbLog/simplecudd/
H A D	simplecudd.h	267 DdManager* simpleBDDinit(int varcnt); 268 DdManager* simpleBDDinitNoReOrder(int varcnt); 272 DdNode* D_BDDAnd(DdManager manager, DdNode bdd1, DdNode bdd2); 273 DdNode D_BDDNand(DdManager manager, DdNode bdd1, DdNode bdd2); 274 DdNode D_BDDOr(DdManager manager, DdNode bdd1, DdNode bdd2); 275 DdNode D_BDDNor(DdManager manager, DdNode bdd1, DdNode bdd2); 276 DdNode D_BDDXor(DdManager manager, DdNode bdd1, DdNode bdd2); 277 DdNode D_BDDXnor(DdManager manager, DdNode bdd1, DdNode bdd2); 281 DdNode OnlineGenerateBDD(DdManager manager, namedvars varmap); 309 DdNode* HighNodeOf(DdManager manager, DdNode node); [all …]
/dports/math/cudd/cudd-3.0.0/nanotrav/
H A D	ntr.h	242 extern int Ntr_Trav (DdManager dd, BnetNetwork net, NtrOptions option); 243 extern int Ntr_SCC (DdManager dd, BnetNetwork net, NtrOptions option); 244 extern int Ntr_ClosureTrav (DdManager dd, BnetNetwork net, NtrOptions option); 245 extern void Ntr_freeTR (DdManager dd, NtrPartTR TR); 247 extern DdNode Ntr_initState (DdManager dd, BnetNetwork net, NtrOptions option); 251 extern int Ntr_TestDensity (DdManager dd, BnetNetwork net1, NtrOptions option); 252 extern int Ntr_TestDecomp (DdManager dd, BnetNetwork net1, NtrOptions option); 260 extern int Ntr_maxflow (DdManager dd, BnetNetwork net, NtrOptions option); 262 extern int Ntr_testZDD (DdManager dd, BnetNetwork net, NtrOptions option); 263 extern int Ntr_testISOP (DdManager dd, BnetNetwork net, NtrOptions option); [all …]
/dports/lang/yap/yap-6.2.2/packages/ProbLog/simplecudd_lfi/
H A D	simplecudd.h	269 DdManager* simpleBDDinit(int varcnt); 273 DdNode* D_BDDAnd(DdManager manager, DdNode bdd1, DdNode bdd2); 274 DdNode D_BDDNand(DdManager manager, DdNode bdd1, DdNode bdd2); 275 DdNode D_BDDOr(DdManager manager, DdNode bdd1, DdNode bdd2); 276 DdNode D_BDDNor(DdManager manager, DdNode bdd1, DdNode bdd2); 277 DdNode D_BDDXor(DdManager manager, DdNode bdd1, DdNode bdd2); 278 DdNode D_BDDXnor(DdManager manager, DdNode bdd1, DdNode bdd2); 282 DdNode OnlineGenerateBDD(DdManager manager, namedvars varmap); 310 DdNode* HighNodeOf(DdManager manager, DdNode node); 311 DdNode* LowNodeOf(DdManager manager, DdNode node); [all …]
/dports/lang/yap/yap-6.2.2/packages/cplint/approx/simplecuddLPADs/
H A D	simplecudd.h	282 DdManager* simpleBDDinit(int varcnt); 286 DdNode* D_BDDAnd(DdManager manager, DdNode bdd1, DdNode bdd2); 287 DdNode D_BDDNand(DdManager manager, DdNode bdd1, DdNode bdd2); 288 DdNode D_BDDOr(DdManager manager, DdNode bdd1, DdNode bdd2); 289 DdNode D_BDDNor(DdManager manager, DdNode bdd1, DdNode bdd2); 290 DdNode D_BDDXor(DdManager manager, DdNode bdd1, DdNode bdd2); 291 DdNode D_BDDXnor(DdManager manager, DdNode bdd1, DdNode bdd2); 294 DdNode OnlineGenerateBDD(DdManager manager, namedvars varmap); 322 DdNode* HighNodeOf(DdManager manager, DdNode node); 323 DdNode* LowNodeOf(DdManager manager, DdNode node); [all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A D	llbInt.h	56 DdManager * dd; // BDD manager 57 DdManager * ddG; // BDD manager 58 DdManager * ddR; // BDD manager 124 extern void Llb_ManDumpReached( DdManager * ddG, DdNode * bReached, char * pModel, char … 151 extern int Llb_ManReachability( Llb_Man_t * p, Vec_Int_t * vHints, DdManager ** pddGlo … 156 extern DdNode * Llb_BddComputeBad( Aig_Man_t * pInit, DdManager * dd, abctime TimeOut ); 157 extern DdNode * Llb_BddQuantifyPis( Aig_Man_t * pInit, DdManager * dd, DdNode * bFunc ); 165 extern DdNode * Llb_DriverPhaseCube( Aig_Man_t * pAig, Vec_Int_t * vDriRefs, DdManager * dd … 166 extern DdManager * Llb_DriverLastPartition( Aig_Man_t * p, Vec_Int_t * vVarsNs, abctime TimeTar… 183 … DdManager * dd, DdNode * bCurrent, int fReorder, int fVerbose, int * pOrder ); [all …]
/dports/math/cudd/cudd-3.0.0/dddmp/
H A D	dddmp.h	303 extern DdNode * Dddmp_cuddBddLoad(DdManager ddMgr, Dddmp_VarMatchType varMatchMode, char varmatc… 305 extern DdNode Dddmp_cuddAddLoad(DdManager ddMgr, Dddmp_VarMatchType varMatchMode, char varmatc… 311 extern int Dddmp_cuddAddStore(DdManager ddMgr, char ddname, DdNode f, char *varnames, int auxi… 312 extern int Dddmp_cuddAddArrayStore(DdManager ddMgr, char ddname, int nRoots, DdNode f, char r… 313 extern int Dddmp_cuddBddStore(DdManager ddMgr, char ddname, DdNode f, char varnames, int auxi… 317 extern int Dddmp_cuddBddStorePrefix(DdManager ddMgr, int nRoots, DdNode f, char *inputNames, cha… 318 extern int Dddmp_cuddBddArrayStorePrefix(DdManager ddMgr, int nroots, DdNode f, char inputName… 319 extern int Dddmp_cuddBddStoreBlif(DdManager ddMgr, int nRoots, DdNode f, char *inputNames, char … 320 extern int Dddmp_cuddBddArrayStoreBlif(DdManager ddMgr, int nroots, DdNode f, char inputNames,… 321 extern int Dddmp_cuddBddStoreSmv(DdManager ddMgr, int nRoots, DdNode f, char *inputNames, char … [all …]
H A D	dddmpInt.h	175 extern int DddmpNumberAddNodes(DdManager ddMgr, DdNode f, int n); 176 extern void DddmpUnnumberAddNodes(DdManager ddMgr, DdNode *f, int n); 182 extern int DddmpNumberBddNodes(DdManager ddMgr, DdNode *f, int n); 183 extern void DddmpUnnumberBddNodes(DdManager ddMgr, DdNode *f, int n); 189 extern int DddmpNumberDdNodesCnf(DdManager ddMgr, DdNode *f, int rootN, int cnfIds, int id); 190 extern int DddmpDdNodesCountEdgesAndNumber(DdManager ddMgr, DdNode f, int rootN, int edgeInTh, i… 191 extern void DddmpUnnumberDdNodesCnf(DdManager ddMgr, DdNode *f, int rootN); 192 extern int DddmpPrintBddAndNext(DdManager ddMgr, DdNode *f, int rootN); 197 extern int DddmpCuddDdArrayStoreBdd(Dddmp_DecompType ddType, DdManager ddMgr, char ddname, int nR… 198 extern int DddmpCuddBddArrayStore(Dddmp_DecompType ddType, DdManager ddMgr, char *ddname, int nRoo…
/dports/math/cudd/cudd-3.0.0/cplusplus/
H A D	cuddObj.cc	`95 DdManager manager; 192 inline DdManager 196 DdManager mgr = p->manager; in checkSameManager() 210 DdManager mgr = p->manager; in checkReturnValue() 258 DdManager mgr = p->manager; in checkReturnValue() 300 DdManager 1222 DdManager * 1853 DdManager mgr = p->manager; in SetBackground() 2837 DdManager mgr = p->manager; in Log() 2848 DdManager *mgr = p->manager; in FindMax() [all …]`
/dports/math/cudd/cudd-3.0.0/
H A D	RELEASE.NOTES	199 int Cudd_bddIsVar(DdManager * dd, DdNode * f); 207 void * Cudd_ReadApplicationHook(DdManager dd); 248 void Cudd_ResetStartTime(DdManager unique); 254 void Cudd_UpdateTimeLimit(DdManager * unique); 258 void Cudd_UnsetTimeLimit(DdManager unique); 260 int Cudd_TimeLimited(DdManager unique); 272 int Cudd_EnableOrderingMonitoring(DdManager dd); 274 int Cudd_DisableOrderingMonitoring(DdManager dd); 276 int Cudd_OrderingMonitoring(DdManager dd); 286 int Cudd_CheckCube (DdManager dd, DdNode *g); [all …]

12 3 4 5 6 7 8 9 10 >>...17