11 bindings=new Vector();
12 binding=new Hashtable();
15 public void addBindings(Vector v) {
16 for (int i=0;i<v.size();i++) {
17 bindings.add((Binding)v.get(i));
21 public void addBinding(Binding b) {
23 binding.put(b.getVar(),b);
26 public Binding getBinding(VarDescriptor vd) {
27 if (binding.containsKey(vd))
28 return (Binding)binding.get(vd);
34 public void addUpdate(Updates u) {
38 public int numUpdates() {
39 return updates.size();
41 public Updates getUpdate(int i) {
42 return (Updates)updates.get(i);