category
gensym_core
Predicates for generating unique atoms. Protocol based on the gensym module of SWI-Prolog. The predicates are declared as synchronized when the library is compiled using a backend supporting threads.
Author: Paulo Moura
Version: 2:1:0
Date: 2022-07-26
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
reset_gensym/0
Resets the generator counter for all bases.
Compilation flags:
static, synchronizedMode and number of proofs:
reset_gensym - onereset_gensym/1
Resets the generator counter for a given base.
Compilation flags:
static, synchronizedTemplate:
reset_gensym(Base)Mode and number of proofs:
reset_gensym(+atom) - onegensym/2
Returns a new unique atom with a given base (prefix).
Compilation flags:
static, synchronizedTemplate:
gensym(Base,Unique)Mode and number of proofs:
gensym(+atom,-atom) - oneProtected predicates
(none)
Private predicates
base_/2
Table of generator bases and respective counters.
Compilation flags:
dynamicTemplate:
base_(Base,Counter)Mode and number of proofs:
base_(?atom,?integer) - zero_or_moreOperators
(none)