public void save(BufferedWriter out, BDD b) throws IOException { int x = ((bdd) b)._index; bdd_save(out, x); }
public void save(BufferedWriter out, BDD b) throws IOException { bdd_save(out, unwrap(b)); }
    public void save(BufferedWriter out, BDD b) throws IOException {        int x = ((bdd) b)._index;        bdd_save(out, x);    }