Searched defs:endTerm (Results 1 – 1 of 1) sorted by relevance
1579 unsigned endTerm = m_bodyDisjunction->terms.size(); in atomParentheticalAssertionEnd() local1672 unsigned endTerm = m_bodyDisjunction->terms.size(); in atomParenthesesSubpatternEnd() local1703 unsigned endTerm = m_bodyDisjunction->terms.size(); in atomParenthesesOnceEnd() local1725 unsigned endTerm = m_bodyDisjunction->terms.size(); in atomParenthesesTerminalEnd() local