Lines Matching refs:m_list1
1756 processClauseList(m_list1, literalVector, typeForTable, singleCharacterSwitch, min_num, max_num);
1797 for (ClauseListNode* list = m_list1; list; list = list->getNext()) {
1819 for (ClauseListNode* list = m_list1; list; list = list->getNext()) {
