clang::ento::SMTConstraintManager Member List

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

addStateConstraints(ProgramStateRef State) const	clang::ento::SMTConstraintManager	inlineprotectedvirtual
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
assumeExpr(ProgramStateRef State, SymbolRef Sym, const llvm::SMTExprRef &Exp)	clang::ento::SMTConstraintManager	inlineprotectedvirtual
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::SMTConstraintManager	inlinevirtual
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override	clang::ento::SMTConstraintManager	inlinevirtual
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) override	clang::ento::SMTConstraintManager	inlinevirtual
Cached	clang::ento::SMTConstraintManager	mutableprotected
canReasonAbout(SVal X) const override	clang::ento::SMTConstraintManager	inlinevirtual
checkModel(ProgramStateRef State, SymbolRef Sym, const llvm::SMTExprRef &Exp) const	clang::ento::SMTConstraintManager	inlineprotected
checkNull(ProgramStateRef State, SymbolRef Sym) override	clang::ento::SMTConstraintManager	inlinevirtual
ConstraintManager()=default	clang::ento::ConstraintManager
dump() const	clang::ento::SMTConstraintManager	inline
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 override	clang::ento::SMTConstraintManager	inlinevirtual
haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const override	clang::ento::SMTConstraintManager	inlinevirtual
isNull(ProgramStateRef State, SymbolRef Sym)	clang::ento::ConstraintManager	inline
printJson(raw_ostream &Out, ProgramStateRef State, const char *NL="\n", unsigned int Space=0, bool IsDot=false) const override	clang::ento::SMTConstraintManager	inlinevirtual
printValue(raw_ostream &Out, ProgramStateRef State, SymbolRef Sym)	clang::ento::ConstraintManager	inlinevirtual
ProgramStatePair typedef	clang::ento::ConstraintManager
removeDeadBindings(ProgramStateRef State, SymbolReaper &SymReaper) override	clang::ento::SMTConstraintManager	inlinevirtual
SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB)	clang::ento::SimpleConstraintManager	inline
SMTConstraintManager(clang::ento::ExprEngine *EE, clang::ento::SValBuilder &SB)	clang::ento::SMTConstraintManager	inline
~ConstraintManager()	clang::ento::ConstraintManager	virtual
~SimpleConstraintManager() override	clang::ento::SimpleConstraintManager
~SMTConstraintManager()=default	clang::ento::SMTConstraintManager	virtual