public void Pop(DataType t)
{
elements.Remove(t);
used.Remove(t);
}
public bool isUsed(DataType t)
{
return(used.Contains(t));
}
public int Push(DataType t)
{
++count;
elements[t] = count;
return(count);
}
