inputHistoryNone.hpp

Go to the documentation of this file.

#pragma once
 
#include "inputHistory.hpp"
 
namespace jaffarPlus
{
 
class InputHistoryNone final : public InputHistory
{
public:
  void reset() override {}
  void pushInput(const size_t /*stepCount*/, const InputSet::inputIndex_t /*input*/) override {}
 
  void serializeCold(jaffarCommon::serializer::Base& /*s*/) const override {}
  void deserializeCold(jaffarCommon::deserializer::Base& /*d*/) override {}
  void serializeFull(jaffarCommon::serializer::Base& /*s*/) const override {}
  void deserializeFull(jaffarCommon::deserializer::Base& /*d*/, const size_t /*stepCount*/) override {}
 
  std::string toString(const std::map<InputSet::inputIndex_t, std::string>& /*m*/, const size_t /*stepCount*/) const override { return ""; }
 
  size_t getColdSize() const override { return 0; }
  size_t getFullSize() const override { return 0; }
 
  void captureColdToFull(const void* /*cold*/, void* /*full*/) const override {}
};
 
} // namespace jaffarPlus