00001 package gov.nasa.arc.ase.jpf.expr; 00002 00003 import gov.nasa.arc.ase.jpf.Engine; 00004 00005 class Select implements SubExpr { 00006 // ifdef BUCHI 00007 00008 00009 00010 00011 00012 00013 00014 00015 00016 00017 00018 00019 00020 00021 00022 00023 00024 00025 00026 00027 00028 00029 00030 00031 00032 00033 00034 00035 //#endif BUCHI 00036 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001