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);
}