public static java.lang.String newVariables(VariableSymbol vars,
Compute unique and unused variable names.
vars - a sequence of variables that are candidates for the result.
suffix - a suffix to be added to variable name.
used - a collection of already used (and thus forbidden) names
(may be null, then denotes the empty set).
an array that is as long as vars and holds at each position
either the corresponding string of vars or a string that
is derived from that string. It is ensured that no string in
the result occurs in "used" or twice in the result.
public static java.lang.String newVariable(java.lang.String var,
Compute a new variable name derived from var that does not occur in used.
var - the name from which the result is derived.
used - a set of forbidden name.
a name that is derived from var and does not occur in used.