---

Sch.java

package gov.nasa.arc.ase.jpf;

public class Sch {
  int process;
  int transition;
  int random;

  public Sch() {
    process = 0;
    transition = 0;
    random = 0;
  }  
  private Sch(int p, int t, int r) {
    process = p;
    transition = t;
    random = r;
  }  
  public Sch copy() {
    return new Sch(process, transition, random);
  }  
  public int getNextProcess() {
    random = 0;
    transition = 0;
    return process++;
  }  
  public int getNextRandom() {
    return random++;
  }  
  public int getNextTransition() {
    random = 0;
    return transition++;
  }  
  public int getProcess() {
    return process;
  }  
  public int getRandom() {
    return random;
  }  
  public int getTransition() {
    return transition;
  }  
  public void setNextRandom(int r) {
    random = r;
  }  
  public String toString() {
    return "@" + process + "," + transition + "r" + random;
  }  
}

---