cprover
|
#include <local_control_flow_history.h>
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. | |
virtual | ~local_control_flow_history_factoryt () |
![]() | |
virtual ai_history_baset::trace_ptrt | epoch (ai_history_baset::locationt)=0 |
Creates a new history from the given starting point. | |
virtual | ~ai_history_factory_baset () |
Protected Attributes | |
bool | track_forward_jumps |
bool | track_backward_jumps |
size_t | max_histories_per_location |
Definition at line 144 of file local_control_flow_history.h.
|
inline |
Definition at line 152 of file local_control_flow_history.h.
|
inlinevirtual |
Definition at line 197 of file local_control_flow_history.h.
|
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.
|
protected |
Definition at line 149 of file local_control_flow_history.h.
|
protected |
Definition at line 148 of file local_control_flow_history.h.
|
protected |
Definition at line 147 of file local_control_flow_history.h.