category

genint_core

Predicates for generating increasing non-negative integers. The predicates are declared as synchronized when the library is compiled using a backend supporting threads.

Availability:
logtalk_load(genint(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2022-07-26
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

reset_genint/0

Resets all counters.

Compilation flags:
static, synchronized
Mode and number of proofs:
reset_genint - one

reset_genint/1

Resets the given counter.

Compilation flags:
static, synchronized
Template:
reset_genint(Counter)
Mode and number of proofs:
reset_genint(+atom) - one

genint/2

Returns the next integer for a given counter.

Compilation flags:
static, synchronized
Template:
genint(Counter,Integer)
Mode and number of proofs:
genint(+atom,-non_negative_integer) - one

Protected predicates

(none)

Private predicates

counter_/2

Table of current state of counters.

Compilation flags:
dynamic
Template:
counter_(Counter,Latest)
Mode and number of proofs:
counter_(?atom,?non_negative_integer) - zero_or_more

Operators

(none)