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)

Private predicates

c/1

Compilation flags:
dynamic

Operators

(none)

Remarks

(none)