/// <summary>
/// Read a list of Productions.
/// </summary>
/// <param name="leftCat">Left hand side category</param>
/// <param name="cncFuns">List of Concrete Functions</param>
/// <returns>List of Productions</returns>
private Production[] GetListProduction(int leftCat, ConcreteFunction[] cncFuns)
{
int npoz = this.GetInt();
Production[] tmp = new Production[npoz];
for (int i = 0; i < npoz; i++)
{
tmp[i] = this.GetProduction(leftCat, cncFuns);
}
return tmp;
}
/// <summary>
/// Initializes a new instance of the ProductionSet class.
/// </summary>
/// <param name="id">Set id</param>
/// <param name="prods">List of productions</param>
public ProductionSet(int id, Production[] prods)
{
this.ID = id;
this.Prods = prods;
}