Overviewerlang logo

Module s2_pn_counters

Commutative counters.

Behaviours: s2_gen_lattice.

References

Description

Commutative counters.

Data Types

pn_counter()

abstract datatype: pn_counter()

Function Index

compare/2
dec/1
inc/1
merge/2
new/0
update/2
value/1

Function Details

compare/2

compare(C1, C2) -> any()

dec/1

dec(C) -> any()

inc/1

inc(C) -> any()

merge/2

merge(X1, X2) -> any()

new/0

new() -> any()

update/2

update(X1, X2) -> any()

value/1

value(X1) -> any()

Overviewerlang logo

Generated by EDoc, Mar 14 2025, 16:51:43.