[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(var_name)

Allows variables to be given stable and unique names.

Predicates

get_a_var_name(?, ?)

No description available

set_var_name(?Vars, ++BaseName)

Give a unique name to each variable in Vars based on BaseName and a counter.

set_var_name_counter(++BaseName, ++Start)

Set the initial value for the counter for variable name BaseName.

Description

The var_name library is used to allow variables to be given unique and stable names. These names are printed whenever the variable is printed. The main novel feature is that the name is unique at any time, and that this name is stable in that it would not change between runs of the same program.

Generated from var_name.eci on Wed May 15 03:41:15 2002