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] |