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

SubExpr.java

00001 package gov.nasa.arc.ase.jpf.expr;
00002 
00003 //#ifdef BUCHI
00004 public interface SubExpr extends Cloneable {
00005   void backtrack();  
00006   boolean evaluate();  
00007   void execute();  
00008 }

Generated at Thu Feb 7 06:55:57 2002 for Bandera by