private void ResetChild() { if (childMatcher == null) { if (myNode.child == null) { matchedOnce = false; } else { childMatcher = myNode.child.Matcher(sg, alignment, sg_aligned, (myNode.reln is GraphRelation.ALIGNMENT) ? !hyp : hyp, nextMatch, namesToNodes, namesToRelations, variableStrings, ignoreCase); } } else { childMatcher.ResetChildIter(nextMatch); } }