Lines Matching refs:parenthesesWidth
633 context->term += term.atom.parenthesesWidth;
678 context->term += term.atom.parenthesesWidth;
699 context->term -= term.atom.parenthesesWidth;
710 context->term -= term.atom.parenthesesWidth;
742 context->term -= term.atom.parenthesesWidth;
756 context->term += term.atom.parenthesesWidth;
772 context->term -= term.atom.parenthesesWidth;
1445 m_bodyDisjunction->terms[beginTerm].atom.parenthesesWidth = endTerm - beginTerm;
1446 m_bodyDisjunction->terms[endTerm].atom.parenthesesWidth = endTerm - beginTerm;