Searched defs:firstSubpatternId (Results 1 – 1 of 1) sorted by relevance
124 unsigned firstSubpatternId = term.atom.subpatternId; in ParenthesesDisjunctionContext() local598 unsigned firstSubpatternId = term.atom.subpatternId; in resetMatches() local