/**
 * ProdSet.java
 * A set of productions
 * 
 */
 
 import java.util.*;
 import java.io.*;
 
 public class RuleSet {
 	
 	private ArrayList prods;
 	
 	public RuleSet (ArrayList a){
 		prods = a;
 		}
 		
 		
    public ArrayList getProds() {return prods;}
}