public void save(String filename, BDD v) { save0(filename, (BuDDyBDD) v); }
public void save(String filename, BDD b) { BuDDyBDD bb = (BuDDyBDD) b; save0(filename, bb._id); }
    public void save(String filename, BDD v) { save0(filename, (BuDDyBDD) v); }