object
counter
Counter implemented with asserta/retract.
Author: Victor Lagerkvist
Version: 1:0:1
Date: 2022-10-08
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
increment/0
Increment the counter by 1.
Compilation flags:
staticMode and number of proofs:
increment - oneincrease/1
Increments the counter by the specified amount.
Compilation flags:
staticTemplate:
increase(I)Mode and number of proofs:
increase(+number) - oneset/1
Sets the counter to the specified amount.
Compilation flags:
staticTemplate:
set(N)Mode and number of proofs:
set(+number) - onevalue/1
Gets the current value of the counter.
Compilation flags:
staticTemplate:
value(N)Mode and number of proofs:
value(?number) - onereset/0
Resets the counter to zero.
Compilation flags:
staticMode and number of proofs:
reset - oneProtected predicates
(none)
Private predicates
c/1
Stores the current value of the counter.
Compilation flags:
dynamicTemplate:
c(N)Mode and number of proofs:
c(?number) - zero_or_oneOperators
(none)