// public CharPtr(string str)
// {
// this.chars = (str + '\0').ToCharArray();
// this.index = 0;
// }
public SymbolPtr(SymbolPtr ptr)
{
this.chars = ptr.chars;
this.index = ptr.index;
}
public SymbolPtr(SymbolPtr ptr, int index)
{
this.chars = ptr.chars;
this.index = index;
}
public List(SymbolPtr s, List next)
{
this.s = s;
this.next = next;
}