|
clang
5.0.0
|
This is the complete list of members for clang::ento::SimpleConstraintManager, including all inherited members.
| assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override | clang::ento::SimpleConstraintManager | virtual |
| assumeDual(ProgramStateRef State, DefinedSVal Cond) | clang::ento::ConstraintManager | inline |
| assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override | clang::ento::SimpleConstraintManager | virtual |
| assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To) | clang::ento::ConstraintManager | inlinevirtual |
| assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0 | clang::ento::SimpleConstraintManager | protectedpure virtual |
| assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange)=0 | clang::ento::SimpleConstraintManager | protectedpure virtual |
| assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0 | clang::ento::SimpleConstraintManager | protectedpure virtual |
| canReasonAbout(SVal X) const =0 | clang::ento::ConstraintManager | protectedpure virtual |
| checkNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | protectedvirtual |
| ConstraintManager() | clang::ento::ConstraintManager | inline |
| EndPath(ProgramStateRef state) | clang::ento::ConstraintManager | inlinevirtual |
| getBasicVals() const | clang::ento::SimpleConstraintManager | inlineprotected |
| getSymbolManager() const | clang::ento::SimpleConstraintManager | inlineprotected |
| getSymVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | inlinevirtual |
| isNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | inline |
| NotifyAssumeClients | clang::ento::ConstraintManager | protected |
| print(ProgramStateRef state, raw_ostream &Out, const char *nl, const char *sep)=0 | clang::ento::ConstraintManager | pure virtual |
| ProgramStatePair typedef | clang::ento::ConstraintManager | |
| removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0 | clang::ento::ConstraintManager | pure virtual |
| SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) | clang::ento::SimpleConstraintManager | inline |
| ~ConstraintManager() | clang::ento::ConstraintManager | virtual |
| ~SimpleConstraintManager() override | clang::ento::SimpleConstraintManager |
1.8.6