Contents:
xotl.crdt.base
xotl.crdt.clocks
xotl.crdt.counter
xotl.crdt.register
xotl.crdt.sets
xotl.crdt.testing.base
xotl.crdt.testing.counters
xotl.crdt.testing.registers
xotl.crdt.testing.sets
Create the rule-based machines to test GCounter and PNCounter.
GCounter
PNCounter
xotl.crdt.testing.counters.
GCounterMachine
The stateful machinery for GCounter.
PNCounterMachine
The stateful machinery for PNCounter.