cprover
|
#include <ai_history.h>
Public Member Functions | |
call_stack_history_factoryt (unsigned int rec_lim) | |
ai_history_baset::trace_ptrt | epoch (ai_history_baset::locationt l) override |
Creates a new history from the given starting point. More... | |
virtual | ~call_stack_history_factoryt () |
![]() | |
virtual | ~ai_history_factory_baset () |
Protected Attributes | |
unsigned int | recursion_limit |
Definition at line 339 of file ai_history.h.
|
inlineexplicit |
Definition at line 345 of file ai_history.h.
|
inlinevirtual |
Definition at line 357 of file ai_history.h.
|
inlineoverridevirtual |
Creates a new history from the given starting point.
Implements ai_history_factory_baset.
Definition at line 350 of file ai_history.h.
|
protected |
Definition at line 342 of file ai_history.h.