if (bdd1.satCount() > 1.0) { System.err.println("Warning! Using restrict with more than one value");
if (bdd1.bdd.satCount(bdd1.getDomains()) > 1.0) { out.println("Warning! Using restrict with more than one value"); if (STACK_TRACES) new Exception().printStackTrace(out);
        public void restrictWith(BDD var) {            TypedBDD bdd1 = (TypedBDD) var;            if (!dom.containsAll(bdd1.dom)) {                System.err.println("Warning! Restricting domain that doesn't exist: "+domainNames(bdd1.dom));            }            if (bdd1.satCount() > 1.0) {                System.err.println("Warning! Using restrict with more than one value");            }            dom.removeAll(bdd1.dom);            bdd.restrictWith(bdd1.bdd);        }