Searched defs:bdd_implies (Results 1 – 8 of 8) sorted by relevance
147 bdd_implies = _buddy.bdd_implies variable
467 if (not bdd_implies(output_bdd, l)) in split_2step() local
821 inline int bdd_implies(const bdd &l, const bdd &r) noexcept in bdd_implies() function
1166 int bdd_implies(BDD l, BDD r) in bdd_implies() function