00001 // Set Operations 00002 00003 bdd setUnion(bdd s1, bdd s2); 00004 00005 bdd setIntersection(bdd s1, bdd s2); 00006 00007 bdd setXOR(bdd s1, bdd s2); 00008