.getPrecedingElements().get(0);
final GraphWrapper parent1 = arg1
.getPrecedingElements().get(0);
if (parent0.equals(parent1)) {
final GraphWrapperIDTuple gwidT0 = parent0
.getGraphWrapperIDTuple(arg0);
final GraphWrapperIDTuple gwidT1 = parent1
.getGraphWrapperIDTuple(arg1);
if (gwidT0.getId() == gwidT1.getId()) { // siblings
// !
for (final GraphWrapperIDTuple gwidtuple : parent0
.getSucceedingElements()) {
if (gwidtuple.getOperator()
.equals(arg0)) {
return -1;
} else if (gwidtuple.getOperator()
.equals(arg1)) {
return 1;
}
}
} else if (gwidT0.getId() < gwidT1.getId()) {
return -1;
} else if (gwidT0.getId() > gwidT1.getId()) {
return 1;
}
System.err
.println("QueryGraph: GraphWrapper object not found!");