addStateConstraints(ProgramStateRef State) const | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlineprotectedvirtual |
assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override | clang::ento::SimpleConstraintManager | virtual |
assumeDual(ProgramStateRef State, DefinedSVal Cond) | clang::ento::ConstraintManager | inline |
assumeExpr(ProgramStateRef State, SymbolRef Sym, const SMTExprRef &Exp) | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlineprotectedvirtual |
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) override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
Cached | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | mutableprotected |
canReasonAbout(SVal X) const override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
checkModel(ProgramStateRef State, SymbolRef Sym, const SMTExprRef &Exp) const | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlineprotected |
checkNull(ProgramStateRef State, SymbolRef Sym) override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
ConstraintManager()=default | clang::ento::ConstraintManager | |
dump() const | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inline |
EndPath(ProgramStateRef state) | clang::ento::ConstraintManager | inlinevirtual |
getBasicVals() const | clang::ento::SimpleConstraintManager | inlineprotected |
getSValBuilder() const | clang::ento::SimpleConstraintManager | inlineprotected |
getSymbolManager() const | clang::ento::SimpleConstraintManager | inlineprotected |
getSymVal(ProgramStateRef State, SymbolRef Sym) const override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
isNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | inline |
NotifyAssumeClients | clang::ento::ConstraintManager | protected |
print(ProgramStateRef St, raw_ostream &OS, const char *nl, const char *sep) override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
ProgramStatePair typedef | clang::ento::ConstraintManager | |
removeDeadBindings(ProgramStateRef State, SymbolReaper &SymReaper) override | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inlinevirtual |
SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) | clang::ento::SimpleConstraintManager | inline |
SMTConstraintManager(clang::ento::SubEngine *SE, clang::ento::SValBuilder &SB, SMTSolverRef &S) | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | inline |
~ConstraintManager() | clang::ento::ConstraintManager | virtual |
~SimpleConstraintManager() override | clang::ento::SimpleConstraintManager | |
~SMTConstraintManager()=default | clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > | virtual |