object
gensym¶
Predicates for generating unique atoms. Object 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: 1:0:2
Date: 2021-01-23
Compilation flags:
static, context_switching_callsDependencies:
(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) - oneProtected predicates¶
(none)