local_control_flow_history_factoryt Class Reference
#include <local_control_flow_history.h>
Inheritance diagram for local_control_flow_history_factoryt: Collaboration diagram for local_control_flow_history_factoryt:Public Member Functions | |
| local_control_flow_history_factoryt (bool track_f, bool track_b, size_t max_hist) | |
| ai_history_baset::trace_ptrt | epoch (ai_history_baset::locationt l) override |
| Creates a new history from the given starting point. More... | |
| virtual | ~local_control_flow_history_factoryt () |
| Public Member Functions inherited from ai_history_factory_baset | |
| virtual | ~ai_history_factory_baset () |
Protected Attributes | |
| bool | track_forward_jumps |
| bool | track_backward_jumps |
| size_t | max_histories_per_location |
Detailed Description
Definition at line 144 of file local_control_flow_history.h.
Constructor & Destructor Documentation
◆ local_control_flow_history_factoryt()
|
inline |
Definition at line 152 of file local_control_flow_history.h.
◆ ~local_control_flow_history_factoryt()
|
inlinevirtual |
Definition at line 197 of file local_control_flow_history.h.
Member Function Documentation
◆ epoch()
|
inlineoverridevirtual |
Creates a new history from the given starting point.
Implements ai_history_factory_baset.
Definition at line 162 of file local_control_flow_history.h.
Member Data Documentation
◆ max_histories_per_location
|
protected |
Definition at line 149 of file local_control_flow_history.h.
◆ track_backward_jumps
|
protected |
Definition at line 148 of file local_control_flow_history.h.
◆ track_forward_jumps
|
protected |
Definition at line 147 of file local_control_flow_history.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/analyses/local_control_flow_history.h
