00001 package gov.nasa.arc.ase.jpf;
00002
00003 interface iStateStack {
00004 public iSystemState Pop();
00005 public boolean Push(iSystemState s);
00006 public void setMaxDepth(int value);
00007 public void UpdateTop(iScheduler current);
00008 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001