object
counter
Counter implemented with asserta/retract.
Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
static, context_switching_calls
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
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]
Protected predicates
(none)