public int CompareTo(object obj) { TwoSat o = (TwoSat)obj; if (o.Equals(this)) { return(0); } else { return(this._index.CompareTo(o._index)); } }
public override bool Equals(object obj) { TwoSat o = (TwoSat)obj; return(this._isNegate == o._isNegate && this._index == o._index); }