Counter.hpp

 
#ifndef _DITTO_COUNTER_
#define _DITTO_COUNTER_
 
#include "dittoffi.hpp"
#include "json.hpp"
 
namespace ditto {
class Counter {
  friend class AbstractDocumentPath;
  friend class MutableCounter;
 
public:
  explicit Counter();
  double get_value() const;
  DittoCrdtType get_type() const;
 
protected:
  explicit Counter(const nlohmann::json &info);
  double value;
};
 
void to_json(nlohmann::json &j, const Counter &a);
} // namespace ditto
 
#endif