29#ifndef GLOBALRECORDER_H
30#define GLOBALRECORDER_H
44 void record(
const shared_ptr<DomainBase>&)
override;
46 void print()
override;
OutputType
Definition: OutputType.h:23
A GlobalRecorder class.
Definition: GlobalRecorder.h:34
GlobalRecorder(unsigned, OutputType, unsigned, bool, bool)
Definition: GlobalRecorder.cpp:24
void print() override
Definition: GlobalRecorder.cpp:72
void record(const shared_ptr< DomainBase > &) override
Definition: GlobalRecorder.cpp:27
A Recorder class.
Definition: Recorder.h:35