Searched refs:bddintersec (Results 1 – 3 of 3) sorted by relevance
56 { ZBDD h; h._zbdd = bddintersec(_zbdd, f._zbdd); return *this = h; }152 { return ZBDD_ID(bddintersec(f.GetID(), g.GetID())); }
142 extern bddp bddintersec B_ARG((bddp f, bddp g));
1147 bddp bddintersec(f, g) in bddintersec() function