src/spiglet/spiglet2kanga/SpgGoal.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package spiglet.spiglet2kanga;

import java.util.Vector;

public class SpgGoal extends SpgSym {
	Vector<SpgProc> procs;
	
	public SpgGoal() {
		procs = new Vector<SpgProc>();
	}
	
	public void addProc(SpgProc p) {
		procs.addElement(p);
	}
}