00001 class PipeInt
00002 {
00003 public static Stage3 quantification$s;
00004
00005 public static void main (java.lang.String[] args)
00006 {
00007 Heap.c1 = new Connector();
00008 Heap.c2 = new Connector();
00009 (new Stage1()).start();
00010 Heap.c3 = new Connector();
00011 (new Stage2()).start();
00012 Heap.c4 = new Connector();
00013 if (quantification$s == null)
00014 if (Bandera.choose())
00015 quantification$s = new Stage3();
00016 (new Stage3()).start();
00017 (new Listener()).start();
00018 for (int i = 2; !edu.ksu.cis.bandera.abstraction.lib.integral.Signs.ge(i,2); i = edu.ksu.cis.bandera.abstraction.lib.integral.Signs.add(i,2))
00019 {
00020 Heap.c1.add(i);
00021 }
00022 Heap.c1.stop();
00023 }
00024 }
