Previous  Up  Next

Module M_PNCounter

module M_PNCounter: sig .. end
Increment / decrement counters.

Contains two separate instances of M_IntVector, one for incrementing (add_c) and the other for decrementing (remove_c).

The only difference between PNCounter and GCounter is that Mutable_types.IVector.query t in the former returns the difference between the add_c and the remove_c vectors.

include Mutable_types.DCounter
An Increment / decrement counter is a Mutable_types.IVector with type elt = int