CBMC
local_control_flow_historyt< track_forward_jumps, track_backward_jumps > Member List

This is the complete list of members for local_control_flow_historyt< track_forward_jumps, track_backward_jumps >, including all inherited members.

ai_history_baset(locationt)ai_history_basetinlineexplicitprotected
ai_history_baset(const ai_history_baset &)ai_history_basetinlineprotected
control_flow_decision_historylocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >protected
current_loclocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >protected
current_location(void) const overridelocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >inlinevirtual
has_histories_per_location_limit(void) constlocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >inline
is_path_merge_history(void) constlocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >inline
lcfd_ptrt typedeflocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >protected
local_control_flow_historyt(locationt loc)local_control_flow_historyt< track_forward_jumps, track_backward_jumps >inlineexplicit
local_control_flow_historyt(locationt loc, lcfd_ptrt hist, size_t max_hist)local_control_flow_historyt< track_forward_jumps, track_backward_jumps >inline
local_control_flow_historyt(locationt loc, size_t max_hist)local_control_flow_historyt< track_forward_jumps, track_backward_jumps >inline
local_control_flow_historyt(const local_control_flow_historyt< track_forward_jumps, track_backward_jumps > &old)local_control_flow_historyt< track_forward_jumps, track_backward_jumps >inline
locationt typedefai_history_baset
max_histories_per_locationlocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >protected
no_caller_historyai_history_basetstatic
operator<(const ai_history_baset &op) const overridelocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >virtual
operator==(const ai_history_baset &op) const overridelocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >virtual
output(std::ostream &out) const overridelocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >virtual
output_json(void) constai_history_basetvirtual
output_xml(void) constai_history_basetvirtual
should_widen(const ai_history_baset &other) const overridelocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >inlinevirtual
step(locationt to, const trace_sett &others, trace_ptrt caller_hist) const overridelocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >virtual
step_returnt typedefai_history_baset
step_statust enum nameai_history_baset
to_local_control_flow_history(trace_ptrt in) constlocal_control_flow_historyt< track_forward_jumps, track_backward_jumps >inlineprotected
trace_ptrt typedefai_history_baset
trace_sett typedefai_history_baset
~ai_history_baset()ai_history_basetinlinevirtual