Searched defs:nextHeadExact (Results 1 – 7 of 7) sorted by relevance
44 public Node nextHeadExact; field in QuantifierNode