clang API Documentation
| assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption) override | clang::ento::SimpleConstraintManager | [virtual] |
| assume(ProgramStateRef state, NonLoc Cond, bool Assumption) | clang::ento::SimpleConstraintManager | |
| assumeAux(ProgramStateRef state, NonLoc Cond, bool Assumption) | clang::ento::SimpleConstraintManager | [protected] |
| assumeAuxForSymbol(ProgramStateRef State, SymbolRef Sym, bool Assumption) | clang::ento::SimpleConstraintManager | [protected] |
| assumeDual(ProgramStateRef State, DefinedSVal Cond) | clang::ento::ConstraintManager | [inline] |
| assumeSymEQ(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::SimpleConstraintManager | [protected, pure virtual] |
| assumeSymGE(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::SimpleConstraintManager | [protected, pure virtual] |
| assumeSymGT(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::SimpleConstraintManager | [protected, pure virtual] |
| assumeSymLE(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::SimpleConstraintManager | [protected, pure virtual] |
| assumeSymLT(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::SimpleConstraintManager | [protected, pure virtual] |
| assumeSymNE(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::SimpleConstraintManager | [protected, pure virtual] |
| assumeSymRel(ProgramStateRef state, const SymExpr *LHS, BinaryOperator::Opcode op, const llvm::APSInt &Int) | clang::ento::SimpleConstraintManager | |
| canReasonAbout(SVal X) const override | clang::ento::SimpleConstraintManager | [protected, virtual] |
| checkNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | [protected, virtual] |
| ConstraintManager() | clang::ento::ConstraintManager | [inline] |
| EndPath(ProgramStateRef state) | clang::ento::ConstraintManager | [inline, virtual] |
| getBasicVals() const | clang::ento::SimpleConstraintManager | [inline, protected] |
| getSymbolManager() const | clang::ento::SimpleConstraintManager | [inline, protected] |
| getSymVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | [inline, virtual] |
| 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() | clang::ento::SimpleConstraintManager | [virtual] |