CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
call_stackt Class Reference

#include <call_stack.h>

+ Inheritance diagram for call_stackt:
+ Collaboration diagram for call_stackt:

Public Member Functions

framettop ()
 
 
 
void  pop ()
 
 

Detailed Description

Definition at line 14 of file call_stack.h.

Member Function Documentation

◆  new_frame()

framet & call_stackt::new_frame ( symex_targett::sourcet  calling_location,
const guardtguard 
)
inline

Definition at line 30 of file call_stack.h.

◆  pop()

void call_stackt::pop ( )
inline

Definition at line 36 of file call_stack.h.

◆  previous_frame()

const framet & call_stackt::previous_frame ( )
inline

Definition at line 42 of file call_stack.h.

◆  top() [1/2]

framet & call_stackt::top ( )
inline

Definition at line 17 of file call_stack.h.

◆  top() [2/2]

const framet & call_stackt::top ( ) const
inline

Definition at line 23 of file call_stack.h.


The documentation for this class was generated from the following file:

AltStyle によって変換されたページ (->オリジナル) /