Searched refs:isAssertion (Results 1 – 1 of 1) sorted by relevance
1440 …bool isAssertion = m_bodyDisjunction->terms[beginTerm].type == ByteTerm::TypeParentheticalAssertio… in atomParenthesesEnd() local1444 …m_bodyDisjunction->terms.append(ByteTerm(isAssertion ? ByteTerm::TypeParentheticalAssertionEnd : B… in atomParenthesesEnd()