Home
last modified time | relevance | path

Searched refs:bvec_shr (Results 1 – 18 of 18) sorted by relevance

/dports/science/buddy/buddy-2.4/src/
H A Dbvec.h103 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 Dbdd.h541 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c);
H A Dbvec.c1109 BVEC bvec_shr(BVEC l, BVEC r, BDD c) in bvec_shr() function
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dbvecx.h103 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 Dbvec.c1109 BVEC bvec_shr(BVEC l, BVEC r, BDD c) in bvec_shr() function
H A Dbddx.h687 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 Dbvecx.h103 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 Dbvec.c1109 BVEC bvec_shr(BVEC l, BVEC r, BDD c) in bvec_shr() function
H A Dbddx.h687 friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c);
/dports/math/spot/spot-2.10.2/python/
H A Dbuddy.py248 bvec_shr = _buddy.bvec_shr variable
H A Dbuddy.i311 bvec bvec_shr(bvec l, bvec r, bdd c);
H A Dbuddy_wrap.cxx8105 result = bvec_shr(arg1,arg2,arg3); in _wrap_bvec_shr()
/dports/math/py-spot/spot-2.10.2/python/
H A Dbuddy.py248 bvec_shr = _buddy.bvec_shr variable
H A Dbuddy.i311 bvec bvec_shr(bvec l, bvec r, bdd c);
H A Dbuddy_wrap.cxx8105 result = bvec_shr(arg1,arg2,arg3); in _wrap_bvec_shr()
/dports/math/spot/spot-2.10.2/buddy/
H A DCHANGES77 bvec_shl and bvec_shr.
/dports/science/buddy/buddy-2.4/
H A DNEWS77 bvec_shl and bvec_shr.
/dports/math/py-spot/spot-2.10.2/buddy/
H A DCHANGES77 bvec_shl and bvec_shr.