.getPrecedingOperators()) {
boolean found = false;
for (final BasicOperator operator2 : graph
.getPrecedingOperators()) {
OperatorIDTuple operatorIDTuple = null;
for (final OperatorIDTuple zOperatorIDTuple : operator
.getSucceedingOperators()) {
if (zOperatorIDTuple.getOperator().equals(startNode)) {
operatorIDTuple = zOperatorIDTuple;
break;
}
}
if (operatorIDTuple == null
|| !operatorIDTuple.getOperator().equals(startNode)) {
System.out.println("Error in Operatorgraph:"
+ operatorIDTuple);
return null;
}
OperatorIDTuple operatorIDTuple2 = null;
for (final OperatorIDTuple zOperatorIDTuple2 : operator2
.getSucceedingOperators()) {
if (zOperatorIDTuple2.getOperator().equals(graph)) {
operatorIDTuple2 = zOperatorIDTuple2;
break;
}
}
if (operatorIDTuple2 == null
|| !operatorIDTuple2.getOperator().equals(graph)) {
System.out.println("Error in Operatorgraph");
return null;
}
// to do? maybe consider more cases in ambiguous cases
if (operatorIDTuple.getId() == -1
|| operatorIDTuple.getId() == operatorIDTuple2
.getId()) {
final Map<String, BasicOperator> currentResult3 = checkSubGraph(
operator2, subGraphMap, operator,
currentResult2);
if (currentResult3 != null) {