clang::ento::RangedConstraintManager Member List

This is the complete list of members for clang::ento::RangedConstraintManager, 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) override	clang::ento::RangedConstraintManager	virtual
assumeSymEQ(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymGE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymGT(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override	clang::ento::RangedConstraintManager	virtual
assumeSymLE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymLT(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymNE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymOutsideInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	protectedpure virtual
assumeSymRel(ProgramStateRef State, SymbolRef Sym, BinaryOperator::Opcode op, const llvm::APSInt &Int)	clang::ento::RangedConstraintManager	protectedvirtual
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) override	clang::ento::RangedConstraintManager	virtual
assumeSymWithinInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0	clang::ento::RangedConstraintManager	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
RangedConstraintManager(ExprEngine *EE, SValBuilder &SB)	clang::ento::RangedConstraintManager	inline
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
~RangedConstraintManager() override	clang::ento::RangedConstraintManager
~SimpleConstraintManager() override	clang::ento::SimpleConstraintManager