/// <summary>
/// Finds the index of a dynamic variable, or creates a new one
/// </summary>
/// <param name="name"></param>
/// <returns>The index of the dynamic variable</returns>
private int GetIndex(String name)
{
// Search for the dynamic variable
DynamicVariable dv = new DynamicVariable(name);
int i = vars.IndexOf(dv);
// If not found, add a new one
if (i == -1)
{
vars.Add(dv);
i = vars.Count - 1;
}
// Mark as used and return the index
vars[i].Count++;
return(i);
}
/// <summary>
/// Finds the index of a dynamic variable, or creates a new one
/// </summary>
/// <param name="name"></param>
/// <returns>The index of the dynamic variable</returns>
private int GetIndex(String name)
{
// Search for the dynamic variable
DynamicVariable dv = new DynamicVariable(name);
int i = vars.IndexOf(dv);
// If not found, add a new one
if (i == -1)
{
vars.Add(dv);
i = vars.Count - 1;
}
// Mark as used and return the index
vars[i].Count++;
return i;
}