Home
last modified time | relevance | path

Searched refs:PBORI_PREFIX (Results 1 – 24 of 24) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A Dcudd.h308 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 DcuddInt.h1060 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 Dutil.h32 ((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 Dcudd.h308 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 DcuddInt.h1060 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 Dutil.h32 ((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 DCCuddInterface.h46 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 DCCuddInterface.h46 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 DCCuddDDFacade.h76 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 DCCuddDDFacade.h76 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 Dpbori_algo.h711 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 Dpbori_algo_int.h33 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 Dpbori_algo.h711 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 Dpbori_algo_int.h33 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 DCCacheManagement.h297 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 DCCacheManagement.h297 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 Dprefix.h25 #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 Dprefix.h25 #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 DCCuddNavigator.h142 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 DCCuddNavigator.h142 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 DBoolePolyRing.cc125 no_error = PBORI_PREFIX(Cudd_PrintInfo)(getManager(), out); in print()
/dports/math/py-brial/BRiAl-1.2.10/libbrial/src/
H A DBoolePolyRing.cc125 no_error = PBORI_PREFIX(Cudd_PrintInfo)(getManager(), out); in print()
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/common/
H A Dtraits.h33 typedef PBORI_PREFIX(DdManager) DdManager;
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/common/
H A Dtraits.h33 typedef PBORI_PREFIX(DdManager) DdManager;