/dports/science/buddy/buddy-2.4/src/ |
H A D | bvec.h | 103 extern BVEC bvec_shr(BVEC l, BVEC r, BDD c); 171 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c); 187 bvec operator>>(const bvec &a) const { return bvec_shr(*this,a,bddfalse); } 262 inline bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c) in bvec_shr() function 263 { return bvec_shr(left.roots, right.roots, c.root); } in bvec_shr()
|
H A D | bdd.h | 541 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c);
|
H A D | bvec.c | 1109 BVEC bvec_shr(BVEC l, BVEC r, BDD c) in bvec_shr() function
|
/dports/math/spot/spot-2.10.2/buddy/src/ |
H A D | bvecx.h | 103 BUDDY_API BVEC bvec_shr(BVEC l, BVEC r, BDD c); 174 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c); 190 bvec operator>>(const bvec &a) const { return bvec_shr(*this,a,bddfalse); } 265 inline bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c) in bvec_shr() function 266 { return bvec_shr(left.roots, right.roots, c.root); } in bvec_shr()
|
H A D | bvec.c | 1109 BVEC bvec_shr(BVEC l, BVEC r, BDD c) in bvec_shr() function
|
H A D | bddx.h | 687 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c);
|
/dports/math/py-spot/spot-2.10.2/buddy/src/ |
H A D | bvecx.h | 103 BUDDY_API BVEC bvec_shr(BVEC l, BVEC r, BDD c); 174 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c); 190 bvec operator>>(const bvec &a) const { return bvec_shr(*this,a,bddfalse); } 265 inline bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c) in bvec_shr() function 266 { return bvec_shr(left.roots, right.roots, c.root); } in bvec_shr()
|
H A D | bvec.c | 1109 BVEC bvec_shr(BVEC l, BVEC r, BDD c) in bvec_shr() function
|
H A D | bddx.h | 687 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c);
|
/dports/math/spot/spot-2.10.2/python/ |
H A D | buddy.py | 248 bvec_shr = _buddy.bvec_shr variable
|
H A D | buddy.i | 311 bvec bvec_shr(bvec l, bvec r, bdd c);
|
H A D | buddy_wrap.cxx | 8105 result = bvec_shr(arg1,arg2,arg3); in _wrap_bvec_shr()
|
/dports/math/py-spot/spot-2.10.2/python/ |
H A D | buddy.py | 248 bvec_shr = _buddy.bvec_shr variable
|
H A D | buddy.i | 311 bvec bvec_shr(bvec l, bvec r, bdd c);
|
H A D | buddy_wrap.cxx | 8105 result = bvec_shr(arg1,arg2,arg3); in _wrap_bvec_shr()
|
/dports/math/spot/spot-2.10.2/buddy/ |
H A D | CHANGES | 77 bvec_shl and bvec_shr.
|
/dports/science/buddy/buddy-2.4/ |
H A D | NEWS | 77 bvec_shl and bvec_shr.
|
/dports/math/py-spot/spot-2.10.2/buddy/ |
H A D | CHANGES | 77 bvec_shl and bvec_shr.
|