Searched refs:WList (Results 1 – 2 of 2) sorted by relevance
186 WList->setBlockCounter(BCounterFactory.GetEmptyCounter()); in ExecuteWorkList()198 while (WList->hasWork()) { in ExecuteWorkList()205 const WorkListUnit& WU = WList->dequeue(); in ExecuteWorkList()208 WList->setBlockCounter(WU.getBlockCounter()); in ExecuteWorkList()245 return WList->hasWork(); in ExecuteWorkList()304 WList->enqueue(*I); in HandleBlockEdge()319 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()323 WList->setBlockCounter(Counter); in HandleBlockEntrance()462 if (IsNew) WList->enqueue(Node); in generateNode()509 Eng.WList->enqueue(N, &B, Idx); in GenerateAutoTransition()[all …]
65 WorkList* WList; variable103 WList(WorkList::makeBFS()), in CoreEngine()110 : SubEng(subengine), G(new ExplodedGraph()), WList(wlist), in CoreEngine()114 delete WList; in ~CoreEngine() local136 WList->hasWork() || in hasWorkRemaining()145 WorkList *getWorkList() const { return WList; } in getWorkList()192 WorkList *getWorkList() { return Eng.WList; } in getWorkList()198 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter();} in getBlockCounter()308 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter();} in getBlockCounter()440 WorkList &getWorkList() { return *engine.WList; } in getWorkList()[all …]