iSystemState.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iSystemState {
00004 //  public iKernelState  getKernelState();
00005   public Scheduler     getScheduler();  
00006   public iTrailInfo    getTrailInfo();  
00007   public boolean       nextSuccessor(iKernelState ks);  
00008 // ifdef DISTRIBUTED
00009 // ifdef CHILDREN_LOOKAHEAD
00010 
00011 
00012 
00013 
00014 //#endif CHILDREN_LOOKAHEAD
00015 //#endif DISTRIBUTED
00016 // ifdef DEBUG
00017 
00018 //#endif DEBUG
00019   public void          updateExtra(iSystemState ss);  
00020 }