| allocate(const SVFModule *module) | SVF::PathCondAllocator | |
| allocateForBB(const BasicBlock &bb) | SVF::PathCondAllocator | privatevirtual |
| BasicBlockSet typedef | SVF::PathCondAllocator | |
| BBCondMap typedef | SVF::PathCondAllocator | |
| bbConds | SVF::PathCondAllocator | protected |
| BBToCondMap typedef | SVF::PathCondAllocator | |
| bbToCondMap | SVF::PathCondAllocator | private |
| bddCondMgr | SVF::PathCondAllocator | protectedstatic |
| cfInfoBuilder | SVF::PathCondAllocator | private |
| CFWorkList typedef | SVF::PathCondAllocator | |
| clearCFCond() | SVF::PathCondAllocator | inline |
| collectBBCallingProgExit(const BasicBlock &bb) | SVF::PathCondAllocator | private |
| ComputeInterCallVFGGuard(const BasicBlock *src, const BasicBlock *dst, const BasicBlock *callBB) | SVF::PathCondAllocator | virtual |
| ComputeInterRetVFGGuard(const BasicBlock *src, const BasicBlock *dst, const BasicBlock *retBB) | SVF::PathCondAllocator | virtual |
| ComputeIntraVFGGuard(const BasicBlock *src, const BasicBlock *dst) | SVF::PathCondAllocator | virtual |
| condAnd(Condition *lhs, Condition *rhs) | SVF::PathCondAllocator | inline |
| Condition typedef | SVF::PathCondAllocator | |
| condNeg(Condition *cond) | SVF::PathCondAllocator | inline |
| condOr(Condition *lhs, Condition *rhs) | SVF::PathCondAllocator | inline |
| CondPosMap typedef | SVF::PathCondAllocator | |
| condToInstMap | SVF::PathCondAllocator | private |
| CondToTermInstMap typedef | SVF::PathCondAllocator | |
| createNewCond(u32_t i) | SVF::PathCondAllocator | inlineprivate |
| curEvalVal | SVF::PathCondAllocator | private |
| destroy() | SVF::PathCondAllocator | private |
| dumpCond(Condition *cond) const | SVF::PathCondAllocator | inline |
| evaluateBranchCond(const BasicBlock *bb, const BasicBlock *succ, const Value *val) | SVF::PathCondAllocator | private |
| evaluateLoopExitBranch(const BasicBlock *bb, const BasicBlock *succ) | SVF::PathCondAllocator | private |
| evaluateProgExit(const BranchInst *brInst, const BasicBlock *succ) | SVF::PathCondAllocator | private |
| evaluateTestNullLikeExpr(const BranchInst *brInst, const BasicBlock *succ, const Value *val) | SVF::PathCondAllocator | private |
| exactCondElem(Condition *cond) | SVF::PathCondAllocator | inline |
| falseCond() | SVF::PathCondAllocator | inlinestatic |
| FunToExitBBsMap typedef | SVF::PathCondAllocator | |
| funToExitBBsMap | SVF::PathCondAllocator | private |
| getBddCondManager() | SVF::PathCondAllocator | inlineprivatestatic |
| getBranchCond(const BasicBlock *bb, const BasicBlock *succ) const | SVF::PathCondAllocator | private |
| getCFCond(const BasicBlock *bb) const | SVF::PathCondAllocator | inlineprivate |
| getCond(u32_t i) const | SVF::PathCondAllocator | inline |
| getCondInst(const Condition *cond) const | SVF::PathCondAllocator | inline |
| getCondNum() | SVF::PathCondAllocator | inlinestatic |
| getCurEvalVal() const | SVF::PathCondAllocator | inline |
| getDT(const Function *fun) | SVF::PathCondAllocator | inline |
| getEvalBrCond(const BasicBlock *bb, const BasicBlock *succ) | SVF::PathCondAllocator | inlineprivate |
| getFalseCond() const | SVF::PathCondAllocator | inline |
| getLoopInfo(const Function *f) | SVF::PathCondAllocator | inline |
| getMaxLiveCondNumber() | SVF::PathCondAllocator | inlinestatic |
| getMemUsage() | SVF::PathCondAllocator | inlinestatic |
| getPHIComplementCond(const BasicBlock *BB1, const BasicBlock *BB2, const BasicBlock *BB0) | SVF::PathCondAllocator | virtual |
| getPostDT(const Function *fun) | SVF::PathCondAllocator | inline |
| getTrueCond() const | SVF::PathCondAllocator | inline |
| IndexToConditionMap typedef | SVF::PathCondAllocator | |
| indexToDDNodeMap | SVF::PathCondAllocator | protected |
| isBBCallsProgExit(const BasicBlock *bb) | SVF::PathCondAllocator | private |
| isEQCmp(const CmpInst *cmp) const | SVF::PathCondAllocator | private |
| isNECmp(const CmpInst *cmp) const | SVF::PathCondAllocator | private |
| isTestContainsNullAndTheValue(const CmpInst *cmp, const Value *val) const | SVF::PathCondAllocator | private |
| isTestNotNullExpr(const Value *test, const Value *val) const | SVF::PathCondAllocator | private |
| isTestNullExpr(const Value *test, const Value *val) const | SVF::PathCondAllocator | private |
| markForRelease(Condition *cond) | SVF::PathCondAllocator | inline |
| newCond(const Instruction *inst) | SVF::PathCondAllocator | inlineprivate |
| PathCondAllocator() | SVF::PathCondAllocator | inline |
| printDbg(Condition *cond) | SVF::PathCondAllocator | inline |
| printPathCond() | SVF::PathCondAllocator | |
| setBranchCond(const BasicBlock *bb, const BasicBlock *succ, Condition *cond) | SVF::PathCondAllocator | private |
| setCFCond(const BasicBlock *bb, Condition *cond) | SVF::PathCondAllocator | inlineprivate |
| setCurEvalVal(const Value *val) | SVF::PathCondAllocator | inline |
| totalCondNum | SVF::PathCondAllocator | static |
| trueCond() | SVF::PathCondAllocator | inlinestatic |
| ~PathCondAllocator() | SVF::PathCondAllocator | inlinevirtual |
