Searched refs:bdd_setbddpairs (Results 1 – 12 of 12) sorted by relevance
/dports/science/buddy/buddy-2.4/src/ |
H A D | pairs.c | 266 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) in bdd_setbddpairs() function
|
H A D | bdd.h | 270 extern int bdd_setbddpairs(bddPair*, int*, BDD*, int); 473 friend int bdd_setbddpairs(bddPair*, int*, const bdd *, int);
|
H A D | cppext.cxx | 114 int bdd_setbddpairs(bddPair *pair, int *oldvar, const bdd *newvar, int size) in bdd_setbddpairs() function
|
/dports/math/spot/spot-2.10.2/buddy/src/ |
H A D | pairs.c | 360 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) in bdd_setbddpairs() function
|
H A D | cppext.cxx | 115 int bdd_setbddpairs(bddPair *pair, int *oldvar, const bdd *newvar, int size) in bdd_setbddpairs() function
|
H A D | bddx.h | 335 BUDDY_API int bdd_setbddpairs(bddPair*, int*, BDD*, int); 598 friend int bdd_setbddpairs(bddPair*, int*, const bdd *, int);
|
/dports/math/py-spot/spot-2.10.2/buddy/src/ |
H A D | pairs.c | 360 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) in bdd_setbddpairs() function
|
H A D | cppext.cxx | 115 int bdd_setbddpairs(bddPair *pair, int *oldvar, const bdd *newvar, int size) in bdd_setbddpairs() function
|
H A D | bddx.h | 335 BUDDY_API int bdd_setbddpairs(bddPair*, int*, BDD*, int); 598 friend int bdd_setbddpairs(bddPair*, int*, const bdd *, int);
|
/dports/math/spot/spot-2.10.2/buddy/ |
H A D | CHANGES | 155 + Added functions bdd_setbddpair, bdd_setbddpairs.
|
/dports/science/buddy/buddy-2.4/ |
H A D | NEWS | 155 + Added functions bdd_setbddpair, bdd_setbddpairs.
|
/dports/math/py-spot/spot-2.10.2/buddy/ |
H A D | CHANGES | 155 + Added functions bdd_setbddpair, bdd_setbddpairs.
|