`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)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: reset_genint/0 .. _genint_core/0::reset_genint/0:

reset_genint/0 ^^^^^^^^^^^^^^^^^^

Resets all counters.

| Compilation flags: | static, synchronized

| Mode and number of proofs: | reset_genint - one

.. index:: reset_genint/1 .. _genint_core/0::reset_genint/1:

reset_genint/1 ^^^^^^^^^^^^^^^^^^

Resets the given counter.

| Compilation flags: | static, synchronized

| Template: | reset_genint(Counter) | Mode and number of proofs: | reset_genint(+atom) - one

.. index:: genint/2 .. _genint_core/0::genint/2:

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

.. index:: counter_/2 .. _genint_core/0::counter_/2:

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)