category
counters
Named integer counters. Counter names can be any nonvar term.
Availability:
logtalk_load(library(loader))Author: Paulo Moura
Version: 1:0:1
Date: 2022-02-11
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
counter/2
True if Counter is a counter with value Value.
Compilation flags:
staticTemplate:
counter(Counter,Value)Mode and number of proofs:
counter(?nonvar,?integer) - zero_or_moreincrement_counter/1
Increments the named counter.
Compilation flags:
staticTemplate:
increment_counter(Counter)Mode and number of proofs:
increment_counter(+nonvar) - onedecrement_counter/1
Decrements the named counter.
Compilation flags:
staticTemplate:
decrement_counter(Counter)Mode and number of proofs:
decrement_counter(+nonvar) - onereset_counter/1
Resets the named counter to zero. Creates the counter if it does not exist.
Compilation flags:
staticTemplate:
reset_counter(Counter)Mode and number of proofs:
reset_counter(+nonvar) - onereset_counters/0
Resets all existing named counters to zero.
Compilation flags:
staticMode and number of proofs:
reset_counters - oneProtected predicates
(none)
Private predicates
counter_/2
Table of named counters.
Compilation flags:
dynamicTemplate:
counter_(Counter,Value)Mode and number of proofs:
counter_(?nonvar,?integer) - zero_or_moreOperators
(none)