blob: c7dd46491ceb97efe321d6715dcd1c34a61e2a79 (
plain)
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);
}
}
|