object
counter
¶
Counter implemented with asserta/retract.
Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static, context_switching_calls
(no dependencies on other entities)
Public interface¶
increment/0
¶
Increment the counter by 1.
Compilation flags:
static
Mode and number of proofs:
increment
- one
increase/1
¶
Increments the counter by the specified amount.
Compilation flags:
static
Mode and number of proofs:
increase(+number)
- one
argname:
[I]
set/1
¶
Sets the counter to the specified amount.
Compilation flags:
static
Mode and number of proofs:
set(+number)
- one
argname:
[N]
value/1
¶
Gets the current value of the counter.
Compilation flags:
static
Mode and number of proofs:
value(?number)
- one
argname:
[N]
reset/0
¶
Resets the counter to zero.
Compilation flags:
static
Mode and number of proofs:
reset
- one
Protected interface¶
(none)
Operators¶
(none)
Remarks¶
(none)