Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

RESULT.java

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public class RESULT {
00004   static public final int NEW  = 0;
00005   static public final int OLD  = 1;
00006   static public final int END  = 2;
00007   static public final int EXIT = 3;
00008 }

Generated at Thu Feb 7 06:53:54 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001