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 public interface SubExpr extends Cloneable {
00004 // ifdef BUCHI
00005 
00006 
00007 
00008 //#endif BUCHI
00009 }
Generated at Thu Feb 7 06:55:57 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001