Function getIdempotentWriteSet

src/tools/dedup.js:211–214

()

let _writeSetInstance = null;
function getIdempotentWriteSet() {
  if (!_writeSetInstance) _writeSetInstance = new IdempotentWriteSet();
  return _writeSetInstance;
}
function resetIdempotentWriteSet() { if (_writeSetInstance) _writeSetInstance.reset(); }
function newTurnIdempotentWriteSet() { if (_writeSetInstance) _writeSetInstance.newTurn(); }