object
counter¶
Counter implemented with asserta/retract.
Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
(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:
staticMode and number of proofs:
increase(+number) - oneargname:
[I]
set/1¶
Sets the counter to the specified amount.
Compilation flags:
staticMode and number of proofs:
set(+number) - oneargname:
[N]
Protected predicates¶
(none)