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:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
reset_genint/0
Resets all counters.
Compilation flags:
static, synchronizedMode and number of proofs:
reset_genint - onereset_genint/1
Resets the given counter.
Compilation flags:
static, synchronizedTemplate:
reset_genint(Counter)Mode and number of proofs:
reset_genint(+atom) - onegenint/2
Returns the next integer for a given counter.
Compilation flags:
static, synchronizedTemplate:
genint(Counter,Integer)Mode and number of proofs:
genint(+atom,-non_negative_integer) - oneProtected predicates
(none)
Private predicates
counter_/2
Table of current state of counters.
Compilation flags:
dynamicTemplate:
counter_(Counter,Latest)Mode and number of proofs:
counter_(?atom,?non_negative_integer) - zero_or_moreOperators
(none)