/** Recursively determines all non-terminal nodes. */
private void resetNtSet(BioFuzzParseNode node) {
assert (node != null);
BioFuzzAttackTag atag = node.getAtag();
assert (atag != null);
if ((atag.getTagType() == TagType.ROOT || atag.getTagType() == TagType.NON_TERMINAL)
&& node.getVal()) {
addNtElem(node.getAtagName(), node);
}
assert (node.getChildren() != null);
for (BioFuzzParseNode child : node.getChildren()) {
resetNtSet(child);
}
}
