Stage1.java Source File

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 }