clang  8.0.0
clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy > Member List

This is the complete list of members for clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >, including all inherited members.

addStateConstraints(ProgramStateRef State) constclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlineprotectedvirtual
assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) overrideclang::ento::SimpleConstraintManagervirtual
assumeDual(ProgramStateRef State, DefinedSVal Cond)clang::ento::ConstraintManagerinline
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) overrideclang::ento::SimpleConstraintManagervirtual
assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To)clang::ento::ConstraintManagerinlinevirtual
assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption) overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
Cachedclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >mutableprotected
canReasonAbout(SVal X) const overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
checkModel(ProgramStateRef State, SymbolRef Sym, const SMTExprRef &Exp) constclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlineprotected
checkNull(ProgramStateRef State, SymbolRef Sym) overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
ConstraintManager()=defaultclang::ento::ConstraintManager
dump() constclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inline
EndPath(ProgramStateRef state)clang::ento::ConstraintManagerinlinevirtual
getBasicVals() constclang::ento::SimpleConstraintManagerinlineprotected
getSValBuilder() constclang::ento::SimpleConstraintManagerinlineprotected
getSymbolManager() constclang::ento::SimpleConstraintManagerinlineprotected
getSymVal(ProgramStateRef State, SymbolRef Sym) const overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
isNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerinline
NotifyAssumeClientsclang::ento::ConstraintManagerprotected
print(ProgramStateRef St, raw_ostream &OS, const char *nl, const char *sep) overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
ProgramStatePair typedefclang::ento::ConstraintManager
removeDeadBindings(ProgramStateRef State, SymbolReaper &SymReaper) overrideclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inlinevirtual
SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)clang::ento::SimpleConstraintManagerinline
SMTConstraintManager(clang::ento::SubEngine *SE, clang::ento::SValBuilder &SB, SMTSolverRef &S)clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >inline
~ConstraintManager()clang::ento::ConstraintManagervirtual
~SimpleConstraintManager() overrideclang::ento::SimpleConstraintManager
~SMTConstraintManager()=defaultclang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >virtual