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