+
+ public GraphChanges getChanges3() {
+ return changes3;
+ }
+
+ public UpdateTree getUpdateTree3() throws DatabaseException{
+ if (updateTree3 == null && changes3 != null)
+ updateTree3 = getUpdateTree(changes3);
+ return updateTree3;
+ }
+ public UpdateList getUpdateList3() throws DatabaseException {
+ if (updateList3 == null && changes3 != null)
+ updateList3 = getUpdateList(changes3);
+ return updateList3;
+ }