Searched refs:BDD_OPER_INTERSECT (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/alliance/alliance/src/bdd/src/ | ||
| H A D | bddimply.c | 120 BDD_OPER_INTERSECT, BddNode1, BddNode2 ); |
| H A D | bdd.h | 55 # define BDD_OPER_INTERSECT ((long)0x00100000) macro |