29#ifndef FRAMERECORDER_H
30#define FRAMERECORDER_H
39 void record_impl(
const shared_ptr<DomainBase>&)
override;
55 void print()
override;
OutputType
Definition OutputType.h:23
A FrameRecorder class.
Definition FrameRecorder.h:34
FrameRecorder & operator=(const FrameRecorder &)=delete
~FrameRecorder() override
Definition FrameRecorder.cpp:64
void save() override
Definition FrameRecorder.cpp:70
void print() override
Definition FrameRecorder.cpp:72
FrameRecorder(const FrameRecorder &)=delete
FrameRecorder & operator=(FrameRecorder &&)=delete
FrameRecorder(FrameRecorder &&)=delete
A Recorder class.
Definition Recorder.h:35