return this._index == ((bdd) that)._index;
boolean b = this._index == ((bdd) that)._index; return b;
        public boolean equals(BDD that) {            return this._index == ((bdd) that)._index;        }