private void do_support() throws IOException { check(ops == 1); ret.bdd = op1.bdd.support(); }
private void do_support() throws IOException { check(ops == 1); ret.bdd = op1.bdd.support().toBDD(); }
        private void do_support() throws IOException { check(ops == 1); ret.bdd = op1.bdd.support(); }