clang  6.0.0svn
clang::ento::ConstraintManager Member List

This is the complete list of members for clang::ento::ConstraintManager, including all inherited members.

assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption)=0clang::ento::ConstraintManagerpure virtual
assumeDual(ProgramStateRef State, DefinedSVal Cond)clang::ento::ConstraintManagerinline
assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InBound)=0clang::ento::ConstraintManagerpure virtual
assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To)clang::ento::ConstraintManagerinlinevirtual
canReasonAbout(SVal X) const =0clang::ento::ConstraintManagerprotectedpure virtual
checkNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerprotectedvirtual
ConstraintManager()clang::ento::ConstraintManagerinline
EndPath(ProgramStateRef state)clang::ento::ConstraintManagerinlinevirtual
getSymVal(ProgramStateRef state, SymbolRef sym) constclang::ento::ConstraintManagerinlinevirtual
isNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerinline
NotifyAssumeClientsclang::ento::ConstraintManagerprotected
print(ProgramStateRef state, raw_ostream &Out, const char *nl, const char *sep)=0clang::ento::ConstraintManagerpure virtual
ProgramStatePair typedefclang::ento::ConstraintManager
removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0clang::ento::ConstraintManagerpure virtual
~ConstraintManager()clang::ento::ConstraintManagervirtual