/**
* Needed to ensure that the list iterators' outputs are deterministic. Without this we are
* totally at object id's mercy.
*/
@Override
public int hashCode() {
return mKey.hashCode();
}
public int compareTo(Operator o) {
return mKey.compareTo(o.mKey);
}