@SuppressWarnings("unchecked")
@Override
public boolean equals(Object obj) {
if (obj instanceof Marker.BasePointersSet) {
BasePointersSet other = (BasePointersSet) obj;
return variables.equals(other.variables);
} else {
return false;
}
}
