---

BuchiSet.java

package gov.nasa.arc.ase.jpf;

import gov.nasa.arc.ase.util.Debug;

public class BuchiSet {
//#ifdef BUCHI
  int[] data;
  
//#endif BUCHI
  public BuchiSet() {
    data = new int[0];
  }  
  public void add(int b, int v) {
    int l = data.length;
    int[] newdata = new int[l + 2];
    System.arraycopy(data, 0, newdata, 0, l);
    data = newdata;

    Engine.getJPF().status.storageMemory += 8;

    data[l] = b;
    data[l+1] = v;
  }  
  public int get(int b) {
    for(int i = 0, l = data.length; i < l; i += 2)
      if(data[i] == b) return data[i+1];

    return LTL.NEW;
  }  
  public void replace(int b, int v) {
    for(int i = 0, l = data.length; i < l; i += 2)
      if(data[i] == b) {
    data[i+1] = v;
    return;
      }

    Debug.println(Debug.WARNING, "BuchiSet.replace(II)V failed");
  }  
  public int size() {
    return data.length * 4;
  }  
  public String toString() {
    StringBuffer sb = new StringBuffer();
    int sz = data.length;

    sb.append("buchiset[");
    sb.append(sz);
    sb.append("] = { ");
    for(int i = 0; i < sz; i++) {
      if(i != 0) sb.append(", ");
      if(i % 2 == 1)
    sb.append(data[i]);
      else
    sb.append(Integer.toHexString(data[i]));
    }
    sb.append(" }");

    return sb.toString();
  }  
}

---