clang::ento::SimpleConstraintManager Member List

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

clang::ento::ConstraintManager::assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption)	clang::ento::ConstraintManager
assumeDual(ProgramStateRef State, DefinedSVal Cond)	clang::ento::ConstraintManager
assumeDualImpl(ProgramStateRef &State, AssumeFunction &Assume)	clang::ento::ConstraintManager	protected
assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InBound)	clang::ento::ConstraintManager
assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To)	clang::ento::ConstraintManager
assumeInclusiveRangeInternal(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override	clang::ento::SimpleConstraintManager	protectedvirtual
assumeInternal(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override	clang::ento::SimpleConstraintManager	protectedvirtual
AssumeStack	clang::ento::ConstraintManager	protected
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()=default	clang::ento::ConstraintManager
getBasicVals() const	clang::ento::SimpleConstraintManager	inlineprotected
getSValBuilder() const	clang::ento::SimpleConstraintManager	inlineprotected
getSymbolManager() const	clang::ento::SimpleConstraintManager	inlineprotected
getSymMaxVal(ProgramStateRef state, SymbolRef sym) const	clang::ento::ConstraintManager	inlinevirtual
getSymMinVal(ProgramStateRef state, SymbolRef sym) const	clang::ento::ConstraintManager	inlinevirtual
getSymVal(ProgramStateRef state, SymbolRef sym) const	clang::ento::ConstraintManager	inlinevirtual
haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const =0	clang::ento::ConstraintManager	pure virtual
isNull(ProgramStateRef State, SymbolRef Sym)	clang::ento::ConstraintManager	inline
printJson(raw_ostream &Out, ProgramStateRef State, const char *NL, unsigned int Space, bool IsDot) const =0	clang::ento::ConstraintManager	pure virtual
printValue(raw_ostream &Out, ProgramStateRef State, SymbolRef Sym)	clang::ento::ConstraintManager	inlinevirtual
ProgramStatePair typedef	clang::ento::ConstraintManager
removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0	clang::ento::ConstraintManager	pure virtual
SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB)	clang::ento::SimpleConstraintManager	inline
~ConstraintManager()	clang::ento::ConstraintManager	virtual
~SimpleConstraintManager() override	clang::ento::SimpleConstraintManager