object
gensym¶
Predicates for generating unique atoms. Object protocol based on the “gensym” module of SWI-Prolog.
Author: Paulo Moura
Version: 1.01
Date: 2011/11/9
Compilation flags:
static, context_switching_calls(no dependencies on other entities)
Public interface¶
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 interface¶
(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)
Remarks¶
(none)