True.java Source File

00001 package gov.nasa.arc.ase.jpf.expr;
00002 
00003 import gov.nasa.arc.ase.jpf.Engine;
00004 
00005 class True implements SubExpr {
00006 // ifdef BUCHI
00007 
00008 
00009 
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 
00018 
00019 
00020 //#endif BUCHI
00021 }