ai_history_baset(locationt) | ai_history_baset | inlineexplicitprotected |
ai_history_baset(const ai_history_baset &) | ai_history_baset | inlineprotected |
control_flow_decision_history | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | protected |
current_loc | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | protected |
current_location(void) const override | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | inlinevirtual |
has_histories_per_location_limit(void) const | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | inline |
is_path_merge_history(void) const | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | inline |
lcfd_ptrt typedef | local_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 typedef | ai_history_baset | |
max_histories_per_location | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | protected |
no_caller_history | ai_history_baset | static |
operator<(const ai_history_baset &op) const override | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | virtual |
operator==(const ai_history_baset &op) const override | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | virtual |
output(std::ostream &out) const override | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | virtual |
output_json(void) const | ai_history_baset | virtual |
output_xml(void) const | ai_history_baset | virtual |
should_widen(const ai_history_baset &other) const override | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | inlinevirtual |
step(locationt to, const trace_sett &others, trace_ptrt caller_hist) const override | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | virtual |
step_returnt typedef | ai_history_baset | |
step_statust enum name | ai_history_baset | |
to_local_control_flow_history(trace_ptrt in) const | local_control_flow_historyt< track_forward_jumps, track_backward_jumps > | inlineprotected |
trace_ptrt typedef | ai_history_baset | |
trace_sett typedef | ai_history_baset | |
~ai_history_baset() | ai_history_baset | inlinevirtual |