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

Stage1.java

00001 final class Stage1 extends java.lang.Thread 
00002 {
00003      
00004      public void run ()
00005      {
00006           int tmp = 1;
00007           while (edu.ksu.cis.bandera.abstraction.lib.integral.Signs.ne(tmp,0))
00008           {
00009                if (!edu.ksu.cis.bandera.abstraction.lib.integral.Signs.eq(tmp,0))
00010                {
00011                     Heap.c2.add(edu.ksu.cis.bandera.abstraction.lib.integral.Signs.add(tmp,2));
00012                }
00013           }
00014           Heap.c2.stop();
00015      }
00016 }

Generated at Thu Feb 7 06:55:36 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001