object

counter

Counter implemented with asserta/retract.

Availability:
logtalk_load(verdi_neruda(loader))
Author: Victor Lagerkvist
Version: 1:0:1
Date: 2022-10-08
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
Template:
increase(I)
Mode and number of proofs:
increase(+number) - one

set/1

Sets the counter to the specified amount.

Compilation flags:
static
Template:
set(N)
Mode and number of proofs:
set(+number) - one

value/1

Gets the current value of the counter.

Compilation flags:
static
Template:
value(N)
Mode and number of proofs:
value(?number) - one

reset/0

Resets the counter to zero.

Compilation flags:
static
Mode and number of proofs:
reset - one

Protected predicates

(none)

Private predicates

c/1

Stores the current value of the counter.

Compilation flags:
dynamic
Template:
c(N)
Mode and number of proofs:
c(?number) - zero_or_one

Operators

(none)