public static Production Symbol(int tokenid)
{
ProductionOfInt production = new ProductionOfInt();
production.tokenid = tokenid;
return(production);
}
public override Production Copy()
{
ProductionOfInt production = new ProductionOfInt();
production.tokenid = this.tokenid;
return(production);
}