category
counters¶
Named integer counters. Counter names can be any nonvar term.
Author: Paulo Moura
Version: 1.0
Date: 2011/1/3
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) - 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_more