cprover
|
#include <ai_history.h>
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 |
Definition at line 230 of file ai_history.h.
Definition at line 236 of file ai_history.h.
bool call_stack_historyt::call_stack_entryt::operator< | ( | const call_stack_entryt & | op | ) | const |
Definition at line 171 of file ai_history.cpp.
bool call_stack_historyt::call_stack_entryt::operator== | ( | const call_stack_entryt & | op | ) | const |
Definition at line 214 of file ai_history.cpp.
cse_ptrt call_stack_historyt::call_stack_entryt::caller |
Definition at line 234 of file ai_history.h.
locationt call_stack_historyt::call_stack_entryt::current_location |
Definition at line 233 of file ai_history.h.