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

new_frame(symex_targett::sourcet calling_location, const guardt &guard)	call_stackt	inline
pop()	call_stackt	inline
previous_frame()	call_stackt	inline
top()	call_stackt	inline
top() const	call_stackt	inline