public BDD load(BufferedReader in, int[] translate) throws IOException { int result = bdd_load(in, translate); return makeBDD(result); }
public BDD load(BufferedReader in, int[] translate) throws IOException { return makeBDD(bdd_load(in, translate)); }
    public BDD load(BufferedReader in, int[] translate) throws IOException {        int result = bdd_load(in, translate);        return makeBDD(result);    }