A MaxHistory class.
Definition: MaxHistory.h:38
MaxHistory(unsigned, unsigned, OutputType, double)
Definition: MaxHistory.cpp:22
unique_ptr< Criterion > get_copy() override
Definition: MaxHistory.cpp:27
int process(const shared_ptr< DomainBase > &) override
Definition: MaxHistory.cpp:29