buddy/src/bvec.h

93 extern BVEC bvec_add(BVEC left, BVEC right);
94 extern BVEC bvec_sub(BVEC left, BVEC right);
96 extern BVEC bvec_mul(BVEC left, BVEC right);
98 extern int  bvec_div(BVEC left, BVEC right, BVEC *res, BVEC *rem);
103 extern BDD  bvec_lth(BVEC left, BVEC right);
104 extern BDD  bvec_lte(BVEC left, BVEC right);
105 extern BDD  bvec_gth(BVEC left, BVEC right);
106 extern BDD  bvec_gte(BVEC left, BVEC right);
107 extern BDD  bvec_equ(BVEC left, BVEC right);
108 extern BDD  bvec_neq(BVEC left, BVEC right);
160    friend bvec bvec_add(const bvec &left, const bvec &right);
161    friend bvec bvec_sub(const bvec &left, const bvec &right);
163    friend bvec bvec_mul(const bvec &left, const bvec &right);
167    friend bvec bvec_shl(const bvec &left, const bvec &right, const bdd &c);
169    friend bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c);
170    friend bdd  bvec_lth(const bvec &left, const bvec &right);
171    friend bdd  bvec_lte(const bvec &left, const bvec &right);
172    friend bdd  bvec_gth(const bvec &left, const bvec &right);
173    friend bdd  bvec_gte(const bvec &left, const bvec &right);
174    friend bdd  bvec_equ(const bvec &left, const bvec &right);
175    friend bdd  bvec_neq(const bvec &left, const bvec &right);
229 inline bvec bvec_add(const bvec &left, const bvec &right)
230 { return bvec_add(left.roots, right.roots); }
232 inline bvec bvec_sub(const bvec &left, const bvec &right)
233 { return bvec_sub(left.roots, right.roots); }
238 inline bvec bvec_mul(const bvec &left, const bvec &right)
239 { return bvec_mul(left.roots, right.roots); }
250 inline bvec bvec_shl(const bvec &left, const bvec &right, const bdd &c)
251 { return bvec_shl(left.roots, right.roots, c.root); }
256 inline bvec bvec_shr(const bvec &left, const bvec &right, const bdd &c)
257 { return bvec_shr(left.roots, right.roots, c.root); }
259 inline bdd  bvec_lth(const bvec &left, const bvec &right)
260 { return bvec_lth(left.roots, right.roots); }
262 inline bdd  bvec_lte(const bvec &left, const bvec &right)
263 { return bvec_lte(left.roots, right.roots); }
265 inline bdd  bvec_gth(const bvec &left, const bvec &right)
266 { return bvec_gth(left.roots, right.roots); }
268 inline bdd  bvec_gte(const bvec &left, const bvec &right)
269 { return bvec_gte(left.roots, right.roots); }
271 inline bdd  bvec_equ(const bvec &left, const bvec &right)
272 { return bvec_equ(left.roots, right.roots); }
274 inline bdd  bvec_neq(const bvec &left, const bvec &right)
275 { return bvec_neq(left.roots, right.roots); }