ai_history_factory_default_constructort< traceT > Class Template Reference
An easy factory implementation for histories that don't need parameters. More...
#include <ai_history.h>
Inheritance diagram for ai_history_factory_default_constructort< traceT >: Collaboration diagram for ai_history_factory_default_constructort< traceT >:Public Member Functions | |
| ai_history_baset::trace_ptrt | epoch (ai_history_baset::locationt l) override |
| Creates a new history from the given starting point. More... | |
| Public Member Functions inherited from ai_history_factory_baset | |
| virtual | ~ai_history_factory_baset () |
Detailed Description
template<typename traceT>
class ai_history_factory_default_constructort< traceT >
An easy factory implementation for histories that don't need parameters.
Definition at line 254 of file ai_history.h.
Member Function Documentation
◆ epoch()
template<typename traceT >
|
inlineoverridevirtual |
Creates a new history from the given starting point.
Implements ai_history_factory_baset.
Definition at line 257 of file ai_history.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/ai_history.h
