System.err.println("Warning! Or'ing BDD with different domains: "+domainNames(newDom)+" != "+domainNames(bdd1.dom));
out.println("Warning! Or'ing BDD with different domains: "+domainNames(newDom)+" != "+domainNames(bdd1.dom)); if (STACK_TRACES) new Exception().printStackTrace(out);
        void applyHelper(Set newDom, TypedBDD bdd0, TypedBDD bdd1, BDDOp opr) {            switch (opr.id) {                case 1: // xor                case 2: // or                case 4: // nor                case 5: // imp                case 6: // biimp                case 7: // diff                case 8: // less                case 9: // invimp                    if (!bdd0.isZero() && !bdd1.isZero() && !newDom.equals(bdd1.dom)) {                        System.err.println("Warning! Or'ing BDD with different domains: "+domainNames(newDom)+" != "+domainNames(bdd1.dom));                    }                    // fallthrough                case 0: // and                case 3: // nand                    newDom.addAll(bdd1.dom);                    break;                default:                    throw new BDDException();            }        }