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)