+ if (this == obj) {
+ return true;
+ }
+ if (obj == null) {
+ return false;
+ }
+ if (getClass() != obj.getClass()) {
+ return false;
+ }
+ TopoEdgeUpdate other = (TopoEdgeUpdate) obj;
+ if (edge == null) {
+ if (other.edge != null) {
+ return false;
+ }
+ } else if (!edge.equals(other.edge)) {
+ return false;
+ }
+ if (type != other.type) {
+ return false;
+ }
+ return true;
+ }
+
+ public boolean isLocal() {
+ return isLocal;
+ }
+
+ public void setLocal(boolean isLocal) {
+ this.isLocal = isLocal;