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); }