/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cudd.h | 308 typedef struct PBORI_PREFIX(DdManager) PBORI_PREFIX(DdManager); typedef 654 extern DdNode * PBORI_PREFIX(Cudd_zddIthVar) (PBORI_PREFIX(DdManager) *dd, int i); 681 extern DdNode * PBORI_PREFIX(Cudd_ReadZddOne) (PBORI_PREFIX(DdManager) *dd, int i); 682 extern DdNode * PBORI_PREFIX(Cudd_ReadZero) (PBORI_PREFIX(DdManager) *dd); 701 extern int PBORI_PREFIX(Cudd_ReadZddSize) (PBORI_PREFIX(DdManager) *dd); 765 extern int PBORI_PREFIX(Cudd_PrintInfo) (PBORI_PREFIX(DdManager) *dd, FILE *fp); 766 extern long PBORI_PREFIX(Cudd_ReadPeakNodeCount) (PBORI_PREFIX(DdManager) *dd); 769 extern long PBORI_PREFIX(Cudd_zddReadNodeCount) (PBORI_PREFIX(DdManager) *dd); 946 extern void PBORI_PREFIX(Cudd_Quit) (PBORI_PREFIX(DdManager) *unique); 975 extern int PBORI_PREFIX(Cudd_CheckZeroRef) (PBORI_PREFIX(DdManager) *manager); [all …]
|
H A D | cuddInt.h | 1060 extern void PBORI_PREFIX(cuddCacheResize) (PBORI_PREFIX(DdManager) *table); 1061 extern void PBORI_PREFIX(cuddCacheFlush) (PBORI_PREFIX(DdManager) *table); 1084 extern int PBORI_PREFIX(cuddZddInitUniv) (PBORI_PREFIX(DdManager) *zdd); 1085 extern void PBORI_PREFIX(cuddZddFreeUniv) (PBORI_PREFIX(DdManager) *zdd); 1126 extern void PBORI_PREFIX(cuddReclaim) (PBORI_PREFIX(DdManager) *table, DdNode *n); 1128 extern void PBORI_PREFIX(cuddClearDeathRow) (PBORI_PREFIX(DdManager) *table); 1129 extern void PBORI_PREFIX(cuddShrinkDeathRow) (PBORI_PREFIX(DdManager) *table); 1150 extern DdNode * PBORI_PREFIX(cuddAllocNode) (PBORI_PREFIX(DdManager) *unique); 1152 extern void PBORI_PREFIX(cuddFreeTable) (PBORI_PREFIX(DdManager) *unique); 1184 extern void PBORI_PREFIX(cuddRehash) (PBORI_PREFIX(DdManager) *unique, int i); [all …]
|
H A D | util.h | 32 ((type *) PBORI_PREFIX(MMalloc)((long) sizeof(type) * (long) (num))) 38 extern void (*PBORI_PREFIX(MMoutOfMemory)) (long); 69 PBORI_PREFIX(MMout_of_memory)(long size) in PBORI_PREFIX() function 78 PBORI_PREFIX(MMalloc)(long size) { in PBORI_PREFIX() function 82 if (!result && PBORI_PREFIX(MMoutOfMemory)) in PBORI_PREFIX() 83 (*PBORI_PREFIX(MMoutOfMemory))(size); in PBORI_PREFIX() 89 PBORI_PREFIX(MMrealloc)(char *obj, long size) { in PBORI_PREFIX() function 90 if (!obj) return PBORI_PREFIX(MMalloc)(size); in PBORI_PREFIX() 94 if (!result && PBORI_PREFIX(MMoutOfMemory)) in PBORI_PREFIX() 95 (*PBORI_PREFIX(MMoutOfMemory))(size); in PBORI_PREFIX() [all …]
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cudd.h | 308 typedef struct PBORI_PREFIX(DdManager) PBORI_PREFIX(DdManager); typedef 654 extern DdNode * PBORI_PREFIX(Cudd_zddIthVar) (PBORI_PREFIX(DdManager) *dd, int i); 681 extern DdNode * PBORI_PREFIX(Cudd_ReadZddOne) (PBORI_PREFIX(DdManager) *dd, int i); 682 extern DdNode * PBORI_PREFIX(Cudd_ReadZero) (PBORI_PREFIX(DdManager) *dd); 701 extern int PBORI_PREFIX(Cudd_ReadZddSize) (PBORI_PREFIX(DdManager) *dd); 765 extern int PBORI_PREFIX(Cudd_PrintInfo) (PBORI_PREFIX(DdManager) *dd, FILE *fp); 766 extern long PBORI_PREFIX(Cudd_ReadPeakNodeCount) (PBORI_PREFIX(DdManager) *dd); 769 extern long PBORI_PREFIX(Cudd_zddReadNodeCount) (PBORI_PREFIX(DdManager) *dd); 946 extern void PBORI_PREFIX(Cudd_Quit) (PBORI_PREFIX(DdManager) *unique); 975 extern int PBORI_PREFIX(Cudd_CheckZeroRef) (PBORI_PREFIX(DdManager) *manager); [all …]
|
H A D | cuddInt.h | 1060 extern void PBORI_PREFIX(cuddCacheResize) (PBORI_PREFIX(DdManager) *table); 1061 extern void PBORI_PREFIX(cuddCacheFlush) (PBORI_PREFIX(DdManager) *table); 1084 extern int PBORI_PREFIX(cuddZddInitUniv) (PBORI_PREFIX(DdManager) *zdd); 1085 extern void PBORI_PREFIX(cuddZddFreeUniv) (PBORI_PREFIX(DdManager) *zdd); 1126 extern void PBORI_PREFIX(cuddReclaim) (PBORI_PREFIX(DdManager) *table, DdNode *n); 1128 extern void PBORI_PREFIX(cuddClearDeathRow) (PBORI_PREFIX(DdManager) *table); 1129 extern void PBORI_PREFIX(cuddShrinkDeathRow) (PBORI_PREFIX(DdManager) *table); 1150 extern DdNode * PBORI_PREFIX(cuddAllocNode) (PBORI_PREFIX(DdManager) *unique); 1152 extern void PBORI_PREFIX(cuddFreeTable) (PBORI_PREFIX(DdManager) *unique); 1184 extern void PBORI_PREFIX(cuddRehash) (PBORI_PREFIX(DdManager) *unique, int i); [all …]
|
H A D | util.h | 32 ((type *) PBORI_PREFIX(MMalloc)((long) sizeof(type) * (long) (num))) 38 extern void (*PBORI_PREFIX(MMoutOfMemory)) (long); 69 PBORI_PREFIX(MMout_of_memory)(long size) in PBORI_PREFIX() function 78 PBORI_PREFIX(MMalloc)(long size) { in PBORI_PREFIX() function 82 if (!result && PBORI_PREFIX(MMoutOfMemory)) in PBORI_PREFIX() 83 (*PBORI_PREFIX(MMoutOfMemory))(size); in PBORI_PREFIX() 89 PBORI_PREFIX(MMrealloc)(char *obj, long size) { in PBORI_PREFIX() function 90 if (!obj) return PBORI_PREFIX(MMalloc)(size); in PBORI_PREFIX() 94 if (!result && PBORI_PREFIX(MMoutOfMemory)) in PBORI_PREFIX() 95 (*PBORI_PREFIX(MMoutOfMemory))(size); in PBORI_PREFIX() [all …]
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/ring/ |
H A D | CCuddInterface.h | 46 switch (PBORI_PREFIX(Cudd_ReadErrorCode)(mgr)) { in error_text() 85 intrusive_ptr_zero(PBORI_PREFIX(DdManager)* ptr){ in intrusive_ptr_zero() 91 intrusive_ptr_add_ref(PBORI_PREFIX(DdManager)* ptr){ in intrusive_ptr_add_ref() 99 intrusive_ptr_release(PBORI_PREFIX(DdManager)* ptr) { in intrusive_ptr_release() 105 PBORI_PREFIX(Cudd_Quit)(ptr); in intrusive_ptr_release() 112 typedef PBORI_PREFIX(DdManager) DdManager; 120 BOOST_PP_CAT(PBORI_PREFIX(Cudd_), funcname)(*this); } 217 return PBORI_PREFIX(Cudd_ReadPermZdd)(*this, idx); in ReadPermZdd() 253 PBORI_PREFIX(Cudd_zddPrintSubtable)(*this); in zddPrintSubtable() 376 PBORI_PREFIX(Cudd_RecursiveDerefZdd)(*this, node); in recursiveDeref() [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/ring/ |
H A D | CCuddInterface.h | 46 switch (PBORI_PREFIX(Cudd_ReadErrorCode)(mgr)) { in error_text() 85 intrusive_ptr_zero(PBORI_PREFIX(DdManager)* ptr){ in intrusive_ptr_zero() 91 intrusive_ptr_add_ref(PBORI_PREFIX(DdManager)* ptr){ in intrusive_ptr_add_ref() 99 intrusive_ptr_release(PBORI_PREFIX(DdManager)* ptr) { in intrusive_ptr_release() 105 PBORI_PREFIX(Cudd_Quit)(ptr); in intrusive_ptr_release() 112 typedef PBORI_PREFIX(DdManager) DdManager; 120 BOOST_PP_CAT(PBORI_PREFIX(Cudd_), funcname)(*this); } 217 return PBORI_PREFIX(Cudd_ReadPermZdd)(*this, idx); in ReadPermZdd() 253 PBORI_PREFIX(Cudd_zddPrintSubtable)(*this); in zddPrintSubtable() 376 PBORI_PREFIX(Cudd_RecursiveDerefZdd)(*this, node); in recursiveDeref() [all …]
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/diagram/ |
H A D | CCuddDDFacade.h | 76 if (ptr) PBORI_PREFIX(Cudd_Ref)(ptr); in extrusive_ptr_add_ref() 203 PBORI_PREFIX(Cudd_ReadZero)(getManager()); in implies() 240 return PBORI_PREFIX(Cudd_Regular)(getNode())->ref; in refCount() 296 PBORI_PREFIX(Cudd_Ref)(prev); in cudd_generate_multiples() 304 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_multiples() 315 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_multiples() 333 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_multiples() 341 PBORI_PREFIX(Cudd_Deref)(prev); in cudd_generate_multiples() 356 PBORI_PREFIX(Cudd_Ref)(prev); in cudd_generate_divisors() 362 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_divisors() [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/diagram/ |
H A D | CCuddDDFacade.h | 76 if (ptr) PBORI_PREFIX(Cudd_Ref)(ptr); in extrusive_ptr_add_ref() 203 PBORI_PREFIX(Cudd_ReadZero)(getManager()); in implies() 240 return PBORI_PREFIX(Cudd_Regular)(getNode())->ref; in refCount() 296 PBORI_PREFIX(Cudd_Ref)(prev); in cudd_generate_multiples() 304 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_multiples() 315 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_multiples() 333 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_multiples() 341 PBORI_PREFIX(Cudd_Deref)(prev); in cudd_generate_multiples() 356 PBORI_PREFIX(Cudd_Ref)(prev); in cudd_generate_divisors() 362 PBORI_PREFIX(Cudd_Ref)(result); in cudd_generate_divisors() [all …]
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/routines/ |
H A D | pbori_algo.h | 711 PBORI_PREFIX(Cudd_Ref)(e); in pboriCuddZddUnionXor() 712 res = PBORI_PREFIX(cuddZddGetNode)(zdd, P->index, PBORI_PREFIX(cuddT)(P), e); in pboriCuddZddUnionXor() 717 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() 721 PBORI_PREFIX(Cudd_Ref)(e); in pboriCuddZddUnionXor() 722 res = PBORI_PREFIX(cuddZddGetNode)(zdd, Q->index, PBORI_PREFIX(cuddT)(Q), e); in pboriCuddZddUnionXor() 727 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() 729 t = pboriCuddZddUnionXor(zdd, PBORI_PREFIX(cuddT)(P), PBORI_PREFIX(cuddT)(Q)); in pboriCuddZddUnionXor() 731 PBORI_PREFIX(Cudd_Ref)(t); in pboriCuddZddUnionXor() 732 e = pboriCuddZddUnionXor(zdd, PBORI_PREFIX(cuddE)(P), PBORI_PREFIX(cuddE)(Q)); in pboriCuddZddUnionXor() 737 PBORI_PREFIX(Cudd_Ref)(e); in pboriCuddZddUnionXor() [all …]
|
H A D | pbori_algo_int.h | 33 PBORI_PREFIX(Cudd_Ref)(node); in inc_ref() 44 PBORI_PREFIX(Cudd_Deref)(node); in dec_ref() 67 PBORI_PREFIX(Cudd_RecursiveDerefZdd)(mgr, node); in recursive_dec_ref() 513 apply_assign_cudd_function(PBORI_PREFIX(Cudd_zddUnion), mgr, first, second); in uniteAssign() 516 apply_assign_cudd_function(PBORI_PREFIX(Cudd_zddDiff), mgr, first, second); in diffAssign() 519 return apply_cudd_function(PBORI_PREFIX(Cudd_zddDiff), mgr, first, second); in diff() 524 newNode = navigator(PBORI_PREFIX(cuddZddGetNode)(mgr, idx, first.getNode(), in replacingNode() 533 navigator newNode = navigator(PBORI_PREFIX(cuddZddGetNode)(mgr, idx, in newNodeAssign() 547 navigator emptyset = navigator(PBORI_PREFIX(Cudd_ReadZero)(mgr)); in productAssign() 562 return PBORI_PREFIX(Cudd_SupportSize)(mgr, node.getNode()); in nSupport() [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/routines/ |
H A D | pbori_algo.h | 711 PBORI_PREFIX(Cudd_Ref)(e); in pboriCuddZddUnionXor() 712 res = PBORI_PREFIX(cuddZddGetNode)(zdd, P->index, PBORI_PREFIX(cuddT)(P), e); in pboriCuddZddUnionXor() 717 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() 721 PBORI_PREFIX(Cudd_Ref)(e); in pboriCuddZddUnionXor() 722 res = PBORI_PREFIX(cuddZddGetNode)(zdd, Q->index, PBORI_PREFIX(cuddT)(Q), e); in pboriCuddZddUnionXor() 727 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() 729 t = pboriCuddZddUnionXor(zdd, PBORI_PREFIX(cuddT)(P), PBORI_PREFIX(cuddT)(Q)); in pboriCuddZddUnionXor() 731 PBORI_PREFIX(Cudd_Ref)(t); in pboriCuddZddUnionXor() 732 e = pboriCuddZddUnionXor(zdd, PBORI_PREFIX(cuddE)(P), PBORI_PREFIX(cuddE)(Q)); in pboriCuddZddUnionXor() 737 PBORI_PREFIX(Cudd_Ref)(e); in pboriCuddZddUnionXor() [all …]
|
H A D | pbori_algo_int.h | 33 PBORI_PREFIX(Cudd_Ref)(node); in inc_ref() 44 PBORI_PREFIX(Cudd_Deref)(node); in dec_ref() 67 PBORI_PREFIX(Cudd_RecursiveDerefZdd)(mgr, node); in recursive_dec_ref() 513 apply_assign_cudd_function(PBORI_PREFIX(Cudd_zddUnion), mgr, first, second); in uniteAssign() 516 apply_assign_cudd_function(PBORI_PREFIX(Cudd_zddDiff), mgr, first, second); in diffAssign() 519 return apply_cudd_function(PBORI_PREFIX(Cudd_zddDiff), mgr, first, second); in diff() 524 newNode = navigator(PBORI_PREFIX(cuddZddGetNode)(mgr, idx, first.getNode(), in replacingNode() 533 navigator newNode = navigator(PBORI_PREFIX(cuddZddGetNode)(mgr, idx, in newNodeAssign() 547 navigator emptyset = navigator(PBORI_PREFIX(Cudd_ReadZero)(mgr)); in productAssign() 562 return PBORI_PREFIX(Cudd_SupportSize)(mgr, node.getNode()); in nSupport() [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/cache/ |
H A D | CCacheManagement.h | 297 return PBORI_PREFIX(cuddCacheLookup1Zdd)(internalManager(), cache_dummy, node); 307 PBORI_PREFIX(Cudd_Ref)(result); 308 PBORI_PREFIX(cuddCacheInsert1)(internalManager(), cache_dummy, node, result); 309 PBORI_PREFIX(Cudd_Deref)(result); 361 PBORI_PREFIX(Cudd_Ref)(result); 362 PBORI_PREFIX(cuddCacheInsert2)(internalManager(), cache_dummy, first, second, result); 363 PBORI_PREFIX(Cudd_Deref)(result); 407 return PBORI_PREFIX(cuddCacheLookupZdd)(internalManager(), (ptruint)GENERIC_DD_TAG, 420 PBORI_PREFIX(Cudd_Ref)(result); 421 PBORI_PREFIX(cuddCacheInsert)(internalManager(), (ptruint)GENERIC_DD_TAG, [all …]
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/cache/ |
H A D | CCacheManagement.h | 297 return PBORI_PREFIX(cuddCacheLookup1Zdd)(internalManager(), cache_dummy, node); 307 PBORI_PREFIX(Cudd_Ref)(result); 308 PBORI_PREFIX(cuddCacheInsert1)(internalManager(), cache_dummy, node, result); 309 PBORI_PREFIX(Cudd_Deref)(result); 361 PBORI_PREFIX(Cudd_Ref)(result); 362 PBORI_PREFIX(cuddCacheInsert2)(internalManager(), cache_dummy, first, second, result); 363 PBORI_PREFIX(Cudd_Deref)(result); 407 return PBORI_PREFIX(cuddCacheLookupZdd)(internalManager(), (ptruint)GENERIC_DD_TAG, 420 PBORI_PREFIX(Cudd_Ref)(result); 421 PBORI_PREFIX(cuddCacheInsert)(internalManager(), (ptruint)GENERIC_DD_TAG, [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/ |
H A D | prefix.h | 25 #define PBORI_PREFIX(name) name macro 27 #define PBORI_PREFIX(name) pbori_ ## name macro
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/ |
H A D | prefix.h | 25 #define PBORI_PREFIX(name) name macro 27 #define PBORI_PREFIX(name) pbori_ ## name macro
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/iterators/ |
H A D | CCuddNavigator.h | 142 void incRef() const { PBORI_ASSERT(isValid()); PBORI_PREFIX(Cudd_Ref)(pNode); } in incRef() 145 void decRef() const { PBORI_ASSERT(isValid()); PBORI_PREFIX(Cudd_Deref)(pNode); } in decRef() 151 PBORI_PREFIX(Cudd_RecursiveDerefZdd)(mgr, pNode); in recursiveDecRef()
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/iterators/ |
H A D | CCuddNavigator.h | 142 void incRef() const { PBORI_ASSERT(isValid()); PBORI_PREFIX(Cudd_Ref)(pNode); } in incRef() 145 void decRef() const { PBORI_ASSERT(isValid()); PBORI_PREFIX(Cudd_Deref)(pNode); } in decRef() 151 PBORI_PREFIX(Cudd_RecursiveDerefZdd)(mgr, pNode); in recursiveDecRef()
|
/dports/math/brial/BRiAl-1.2.10/libbrial/src/ |
H A D | BoolePolyRing.cc | 125 no_error = PBORI_PREFIX(Cudd_PrintInfo)(getManager(), out); in print()
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/src/ |
H A D | BoolePolyRing.cc | 125 no_error = PBORI_PREFIX(Cudd_PrintInfo)(getManager(), out); in print()
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/common/ |
H A D | traits.h | 33 typedef PBORI_PREFIX(DdManager) DdManager;
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/common/ |
H A D | traits.h | 33 typedef PBORI_PREFIX(DdManager) DdManager;
|