SymbolicEval Member List

This is the complete list of members for SymbolicEval, including all inherited members.

Dispatch(Inst &i) (defined in InstVisitor< bool >)	InstVisitor< bool >	inline
Evaluate() (defined in SymbolicEval)	SymbolicEval
Find(ConstRef< Inst > inst)	SymbolicEval	inline
GetContext()	SymbolicEval	inline
NOP(const SymbolicValue &value)	SymbolicEval	inline
SetFloat(const APFloat &i)	SymbolicEval	inline
SetInteger(const APInt &i)	SymbolicEval	inline
SetLowerBounded(const APInt &i)	SymbolicEval	inline
SetMask(const APInt &k, const APInt &v)	SymbolicEval	inline
SetNullable(const SymbolicPointer::Ref &ptr)	SymbolicEval	inline
SetPointer(const SymbolicPointer::Ref &ptr)	SymbolicEval	inline
SetScalar()	SymbolicEval	inline
SetUndefined()	SymbolicEval	inline
SetValue(const SymbolicPointer::Ref &ptr)	SymbolicEval	inline
SymbolicEval(SymbolicHeap &heap, SymbolicFrame &frame, ReferenceGraph &refs, SymbolicContext &ctx, Inst &inst) (defined in SymbolicEval)	SymbolicEval	inline
~InstVisitor() (defined in InstVisitor< bool >)	InstVisitor< bool >	inlinevirtual