iTrailInfo.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iTrailInfo {
00004 //#endif BUCHI
00005   public int getBuchiState();  
00006   public int getRandom();  
00007   public int getThread();  
00008 //#ifdef BUCHI
00009   public void setBuchiState(int buchi_state);  
00010 }