call_stack_history_factoryt Class Reference
#include <call_stack_history.h>
Inheritance diagram for call_stack_history_factoryt: Collaboration diagram for call_stack_history_factoryt:Public Member Functions | |
| call_stack_history_factoryt (unsigned int rec_lim) | |
| ai_history_baset::trace_ptrt | epoch (ai_history_baset::locationt l) override |
| Creates a new history from the given starting point. More... | |
| virtual | ~call_stack_history_factoryt () |
| Public Member Functions inherited from ai_history_factory_baset | |
| virtual | ~ai_history_factory_baset () |
Protected Attributes | |
| unsigned int | recursion_limit |
Detailed Description
Definition at line 109 of file call_stack_history.h.
Constructor & Destructor Documentation
◆ call_stack_history_factoryt()
|
inlineexplicit |
Definition at line 115 of file call_stack_history.h.
◆ ~call_stack_history_factoryt()
|
inlinevirtual |
Definition at line 127 of file call_stack_history.h.
Member Function Documentation
◆ epoch()
|
inlineoverridevirtual |
Creates a new history from the given starting point.
Implements ai_history_factory_baset.
Definition at line 120 of file call_stack_history.h.
Member Data Documentation
◆ recursion_limit
|
protected |
Definition at line 112 of file call_stack_history.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/analyses/call_stack_history.h
