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.
virtual	~local_control_flow_history_factoryt ()
Public Member Functions inherited from ai_history_factory_baset
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

Detailed Description

Definition at line 144 of file local_control_flow_history.h.

Constructor & Destructor Documentation

local_control_flow_history_factoryt()

local_control_flow_history_factoryt::local_control_flow_history_factoryt ( bool  track_f, bool  track_b, size_t  max_hist  )

inline

Definition at line 152 of file local_control_flow_history.h.

~local_control_flow_history_factoryt()

virtual local_control_flow_history_factoryt::~local_control_flow_history_factoryt ( )

inlinevirtual

Definition at line 197 of file local_control_flow_history.h.

Member Function Documentation

epoch()

ai_history_baset::trace_ptrt local_control_flow_history_factoryt::epoch ( ai_history_baset::locationt  )

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

size_t local_control_flow_history_factoryt::max_histories_per_location

protected

Definition at line 149 of file local_control_flow_history.h.

track_backward_jumps

bool local_control_flow_history_factoryt::track_backward_jumps

protected

Definition at line 148 of file local_control_flow_history.h.

track_forward_jumps

bool local_control_flow_history_factoryt::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:

• analyses/local_control_flow_history.h