Lines Matching refs:getNext
1713 for (; list; list = list->getNext()) {
1797 for (ClauseListNode* list = m_list1; list; list = list->getNext()) {
1805 for (ClauseListNode* list = m_list2; list; list = list->getNext()) {
1819 for (ClauseListNode* list = m_list1; list; list = list->getNext()) {
1829 for (ClauseListNode* list = m_list2; list; list = list->getNext()) {