category

`counters`

Named integer counters. Counter names can be any nonvar term.

Availability:

logtalk_load(library(loader))

Author: Paulo Moura
Version: 1:0:1
Date: 2022-02-11

Compilation flags:

static

Dependencies:

(none)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates 

`counter/2`

True if Counter is a counter with value Value.

Compilation flags:

static

Template:

counter(Counter,Value)

Mode and number of proofs:

counter(?nonvar,?integer) - zero_or_more

`increment_counter/1`

Increments the named counter.

Compilation flags:

static

Template:

increment_counter(Counter)

Mode and number of proofs:

increment_counter(+nonvar) - one

`decrement_counter/1`

Decrements the named counter.

Compilation flags:

static

Template:

decrement_counter(Counter)

Mode and number of proofs:

decrement_counter(+nonvar) - one

`reset_counter/1`

Resets the named counter to zero. Creates the counter if it does not exist.

Compilation flags:

static

Template:

reset_counter(Counter)

Mode and number of proofs:

reset_counter(+nonvar) - one

`reset_counters/0`

Resets all existing named counters to zero.

Compilation flags:

static

Mode and number of proofs:

reset_counters - one

Protected predicates 

(none)

Private predicates 

`counter_/2`

Table of named counters.

Compilation flags:

dynamic

Template:

counter_(Counter,Value)

Mode and number of proofs:

counter_(?nonvar,?integer) - zero_or_more

Operators 

(none)

counters

`counters`