From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,cd5005cccfba0311
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!v45g2000cwv.googlegroups.com!not-for-mail
From: "isaac2004" <isaac_2004@yahoo.com>
Newsgroups: comp.lang.ada
Subject: Re: Topological Sort Help
Date: 8 Feb 2007 18:04:31 -0800
Organization: http://groups.google.com
Message-ID: <1170986671.512965.200170@v45g2000cwv.googlegroups.com>
References: <1170618852.885855.258390@j27g2000cwj.googlegroups.com>
   <87sldllhpt.fsf@ludovic-brenta.org>
   <1170707421.136089.281290@l53g2000cwa.googlegroups.com>
   <87y7ncjq4y.fsf@ludovic-brenta.org>
   <1170728294.194370.133540@k78g2000cwa.googlegroups.com>
   <1170752808.678318.252960@l53g2000cwa.googlegroups.com>
   <1170897552.495666.223180@v33g2000cwv.googlegroups.com>
   <87ps8ldmrw.fsf@ludovic-brenta.org>
   <1170958478.093428.155250@j27g2000cwj.googlegroups.com>
   <87wt2scxt0.fsf@ludovic-brenta.org>
   <1170959388.358591.91380@s48g2000cws.googlegroups.com>
   <87ejp0cwf5.fsf@ludovic-brenta.org>
   <1170962049.091400.130220@v33g2000cwv.googlegroups.com>
   <87abzocuw2.fsf@ludovic-brenta.org>
   <1170966121.850162.326230@a75g2000cwd.googlegroups.com>
NNTP-Posting-Host: 140.160.138.222
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1170986689 32149 127.0.0.1 (9 Feb 2007 02:04:49
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 9 Feb 2007 02:04:49 +0000 (UTC)
In-Reply-To: <1170966121.850162.326230@a75g2000cwd.googlegroups.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1;
 .NET CLR 1.1.4322; .NET CLR 2.0.50727; .NET CLR 3.0.04324.17;
 InfoPath.1),gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: v45g2000cwv.googlegroups.com; posting-host=140.160.138.222;
   posting-account=bWy1LAwAAAAtVkasDCH0ykMCBMNd-FcL
Xref: g2news2.google.com comp.lang.ada:9166
Date: 2007-02-08T18:04:31-08:00
List-Id: <comp.lang.ada>

i created this procedure and it is not working for all possible
inputs, can i get some advice on how to change it.
notice i havent implemented has cycle yet because i am getting stuck
on where to put that

PROCEDURE Topological_Sort (
         G        : IN     Digraph;
         Result   :    OUT Stackpointer;
         Hascycle :    OUT Boolean) IS



      B             : Digraphpointer;
      Sucessor      : Boolean;
      V             : Set;
      No_Successors : Set;
      Bigger_One    : Vertices;
   BEGIN
      Result := NEW Vertex_Stack.Stack (Capacity => Vertices'Pos
(Vertices'Last) - Vertices'Pos (Vertices'First) + 1);
      B := NEW Digraph'(Buildmatrix(G'Length));


      FOR I IN G'RANGE LOOP
         FOR J IN G'RANGE LOOP
            IF G(I,J) THEN
               Addedge(B.All, I, J);
            END IF;
         END LOOP;
      END LOOP;



      FOR A IN G'RANGE LOOP
         V := V + A;
      END LOOP;

      WHILE NOT Isempty(V) LOOP

         FOR I IN G'RANGE LOOP
            Sucessor := False;
            FOR J IN G'RANGE LOOP
               IF J /= I THEN
                  IF G(I,J) THEN
                     Sucessor := True;
                     EXIT;
                  END IF;
               END IF;
            END LOOP;

            IF NOT Sucessor THEN
               No_Successors := No_Successors + I;

            END IF;
         END LOOP;

         FOR L IN REVERSE B'RANGE LOOP
            IF Isin(No_Successors,L) THEN
               Bigger_One := L;
               EXIT;
            END IF;
         END LOOP;

         Push(Result.All, Bigger_One);
         V := V - Bigger_One;

         FOR R IN G'RANGE LOOP
            Deleteedge(B.All, Bigger_One, R);
         END LOOP;

      END LOOP;
      Hascycle := False;

   END Topological_Sort;

thank you so much for the help so far