234   patternlist_ = new PatternList();  in InitializePatterns()
235   if (!patternlist_) {  in InitializePatterns()
240   if (!patternlist_->Initialize()) {  in InitializePatterns()
467     thread->InitThread(i, this, os_, patternlist_, &fill_status);  in InitializePages()
742   patternlist_ = 0;  in Sat()
1193     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1211     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1261     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1278     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1285     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1298     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1310     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1324     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1341       rthread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1365     thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1451       thread->InitThread(total_threads_++, this, os_, patternlist_,  in InitializeThreads()
1528       thread->InitThread(total_threads_++, this, os_, patternlist_,  in JoinThreads()
1943       src.pattern = patternlist_->GetPattern(0);  in Run()
1997   if (patternlist_) {  in Cleanup()
1998     patternlist_->Destroy();  in Cleanup()
1999     delete patternlist_;  in Cleanup()
2000     patternlist_ = 0;  in Cleanup()