Previous  Up  Next

Module I_PNCounter

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

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

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

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