CBMC
call_stack_historyt Member List

This is the complete list of members for call_stack_historyt, including all inherited members.

ai_history_baset(locationt)ai_history_basetinlineexplicitprotected
ai_history_baset(const ai_history_baset &)ai_history_basetinlineprotected
call_stack_historyt(cse_ptrt cur_stack, unsigned int rec_lim)call_stack_historytinlineprotected
call_stack_historyt(locationt l)call_stack_historytinlineexplicit
call_stack_historyt(locationt l, unsigned int rec_lim)call_stack_historytinline
call_stack_historyt(const call_stack_historyt &old)call_stack_historytinline
cse_ptrt typedefcall_stack_historytprotected
current_location(void) const overridecall_stack_historytinlinevirtual
current_stackcall_stack_historytprotected
has_recursion_limit(void) constcall_stack_historytinlineprotected
locationt typedefai_history_baset
no_caller_historyai_history_basetstatic
operator<(const ai_history_baset &op) const overridecall_stack_historytvirtual
operator==(const ai_history_baset &op) const overridecall_stack_historytvirtual
output(std::ostream &out) const overridecall_stack_historytvirtual
output_json(void) constai_history_basetvirtual
output_xml(void) constai_history_basetvirtual
recursion_limitcall_stack_historytprotected
should_widen(const ai_history_baset &other) const overridecall_stack_historytinlinevirtual
step(locationt to, const trace_sett &others, trace_ptrt caller_hist) const overridecall_stack_historytvirtual
step_returnt typedefai_history_baset
step_statust enum nameai_history_baset
trace_ptrt typedefai_history_baset
trace_sett typedefai_history_baset
~ai_history_baset()ai_history_basetinlinevirtual