Searched defs:bvec_gth (Results 1 – 8 of 8) sorted by relevance
271 inline bdd bvec_gth(const bvec &left, const bvec &right) in bvec_gth() function
1267 bdd bvec_gth(bvec l, bvec r) in bvec_gth() function
274 inline bdd bvec_gth(const bvec &left, const bvec &right) in bvec_gth() function
251 bvec_gth = _buddy.bvec_gth variable