SVF::VFPathCond Member List

This is the complete list of members for SVF::VFPathCond, including all inherited members.

addPath(PathCondAllocator *allocator, PathCond *c, NodeID from, NodeID to)	SVF::VFPathCond	inline
addVFEdge(NodeID from, NodeID to)	SVF::VFPathCond	inline
begin() const	SVF::ContextCond	inline
condAnd(PathCondAllocator *allocator, PathCond *c)	SVF::VFPathCond	inline
condOr(PathCondAllocator *allocator, PathCond *c)	SVF::VFPathCond	inline
const_iterator typedef	SVF::ContextCond
containCallStr(NodeID cxt) const	SVF::ContextCond	inline
context	SVF::ContextCond	protected
ContextCond()	SVF::ContextCond	inline
ContextCond(const ContextCond &cond)	SVF::ContextCond	inline
cxtSize() const	SVF::ContextCond	inline
edges	SVF::VFPathCond	private
EdgeSet typedef	SVF::VFPathCond
end() const	SVF::ContextCond	inline
getContexts() const	SVF::ContextCond	inline
getContexts()	SVF::ContextCond	inline
getMaxPathLen() const	SVF::VFPathCond	inline
getPaths() const	SVF::VFPathCond	inline
getVFEdges() const	SVF::VFPathCond	inline
hasIncomingEdge(NodeID node) const	SVF::VFPathCond	inline
hasOutgoingEdge(NodeID node) const	SVF::VFPathCond	inline
hasVFEdge(NodeID from, NodeID to) const	SVF::VFPathCond	inline
isConcreteCxt() const	SVF::ContextCond	inline
matchContext(NodeID ctx)	SVF::ContextCond	inlinevirtual
maximumCxt	SVF::ContextCond	static
maximumPath	SVF::VFPathCond	static
maximumPathLen	SVF::VFPathCond	privatestatic
operator!=(const VFPathCond &rhs) const	SVF::VFPathCond	inline
SVF::ContextCond::operator!=(const ContextCond &rhs) const	SVF::ContextCond	inline
operator<(const VFPathCond &rhs) const	SVF::VFPathCond	inline
SVF::ContextCond::operator<(const ContextCond &rhs) const	SVF::ContextCond	inline
operator=(const VFPathCond &rhs)	SVF::VFPathCond	inline
SVF::ContextCond::operator=(const ContextCond &rhs)	SVF::ContextCond	inline
operator==(const VFPathCond &rhs) const	SVF::VFPathCond	inline
SVF::ContextCond::operator==(const ContextCond &rhs) const	SVF::ContextCond	inline
operator[](const u32_t index) const	SVF::ContextCond	inline
path	SVF::VFPathCond	private
PathCond typedef	SVF::VFPathCond
pathLen() const	SVF::VFPathCond	inline
pushContext(NodeID ctx)	SVF::ContextCond	inlinevirtual
setMaxCxtLen(u32_t max)	SVF::ContextCond	inlinestatic
setMaxPathLen(u32_t max)	SVF::VFPathCond	inlinestatic
setNonConcreteCxt()	SVF::ContextCond	inline
setPaths(PathCond *p, const EdgeSet &e)	SVF::VFPathCond	inline
toString() const	SVF::VFPathCond	inline
vfEdgesTrace() const	SVF::VFPathCond	inline
VFPathCond(PathCond *p=PathCondAllocator::trueCond())	SVF::VFPathCond	inline
VFPathCond(const VFPathCond &cond)	SVF::VFPathCond	inline
~ContextCond()	SVF::ContextCond	inlinevirtual
~VFPathCond()	SVF::VFPathCond	inlinevirtual