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