clang API Documentation
| dequeue()=0 | clang::ento::WorkList | [pure virtual] |
| enqueue(const WorkListUnit &U)=0 | clang::ento::WorkList | [pure virtual] |
| enqueue(ExplodedNode *N, const CFGBlock *B, unsigned idx) | clang::ento::WorkList | [inline] |
| enqueue(ExplodedNode *N) | clang::ento::WorkList | [inline] |
| getBlockCounter() const | clang::ento::WorkList | [inline] |
| hasWork() const =0 | clang::ento::WorkList | [pure virtual] |
| makeBFS() | clang::ento::WorkList | [static] |
| makeBFSBlockDFSContents() | clang::ento::WorkList | [static] |
| makeDFS() | clang::ento::WorkList | [static] |
| setBlockCounter(BlockCounter C) | clang::ento::WorkList | [inline] |
| visitItemsInWorkList(Visitor &V)=0 | clang::ento::WorkList | [pure virtual] |
| ~WorkList() | clang::ento::WorkList | [virtual] |