clang
6.0.0
|
This is the complete list of members for clang::ento::WorkList, including all inherited members.
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 |