cprover
Loading...
Searching...
No Matches
call_stack_historyt::call_stack_entryt Class Reference

#include <call_stack_history.h>

Collaboration diagram for call_stack_historyt::call_stack_entryt:

Public Member Functions

 call_stack_entryt (locationt l, cse_ptrt p)
bool operator< (const call_stack_entryt &op) const
bool operator== (const call_stack_entryt &op) const

Public Attributes

locationt current_location
cse_ptrt caller

Detailed Description

Definition at line 25 of file call_stack_history.h.

Constructor & Destructor Documentation

◆ call_stack_entryt()

call_stack_historyt::call_stack_entryt::call_stack_entryt ( locationt l,
cse_ptrt p )
inline

Definition at line 31 of file call_stack_history.h.

Member Function Documentation

◆ operator<()

bool call_stack_historyt::call_stack_entryt::operator< ( const call_stack_entryt & op) const

Definition at line 173 of file call_stack_history.cpp.

◆ operator==()

bool call_stack_historyt::call_stack_entryt::operator== ( const call_stack_entryt & op) const

Definition at line 216 of file call_stack_history.cpp.

Member Data Documentation

◆ caller

cse_ptrt call_stack_historyt::call_stack_entryt::caller

Definition at line 29 of file call_stack_history.h.

◆ current_location

locationt call_stack_historyt::call_stack_entryt::current_location

Definition at line 28 of file call_stack_history.h.


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