#ifndef _H
#define _H


/* Generic sorting routine */
/* See the copyright and disclaimer note at the end of this file. */

PROCEDURE Sort(
    VAR /*IO*/ s: ARRAY OF X.T; 
    VAR /*IO*/ ss: REF ARRAY OF Y.T;
  );
  /* 
    QuickSort sorts  the elements in  the array "s".  If  "ss#NULL" then
    the elements  of "ss"  are exchanged in  parallel  with those  in "s".
    Formal parameter interface X must provide at least the type "X.T" and
    the comparison procedure "X.Compare" with the signature:

         PROCEDURE(a,b: X.T): [-1..+1]

    The elements of "s" will be sorted accordingly to the results of "X.Compare". */

;} GenSort.

/****************************************************************************/
/* (C) Copyright 1992 Universidade Estadual de Campinas (UNICAMP)           */
/*                    Campinas, SP, Brazil                                  */
/*                                                                          */
/* Authors:                                                                 */
/*                                                                          */
/*   Tomasz Kowaltowski  - CS Dept, UNICAMP <tomasz@dcc.unicamp.br>         */
/*   Claudio L. Lucchesi - CS Dept, UNICAMP <lucchesi@dcc.unicamp.br>       */
/*   Jorge Stolfi        - CS Dept, UNICAMP <stolfi@dcc.unicamp.br>         */
/*                                                                          */
/* This file can be freely distributed, modified, and used for any          */
/*   non-commercial purpose, provided that this copyright and authorship    */
/*   notice be included in any copy or derived version of this file.        */
/*                                                                          */
/* DISCLAIMER: This software is offered ``as is'', without any guarantee    */
/*   as to fitness for any particular purpose.  Neither the copyright       */
/*   holder nor the authors or their employers can be held responsible for  */
/*   any damages that may result from its use.                              */
/****************************************************************************/