Create a valid CSPICE set from a CSPICE Cell of any data type.

   SETS

   VARIABLE  I/O  DESCRIPTION
   --------  ---  --------------------------------------------------
   size       I   Size (maximum cardinality) of the set.
   n          I   Initial no. of (possibly non-distinct) elements.
   set       I/O  Set to be validated.

   size        is the maximum cardinality (number of elements)
               of the set.  size must not exceed the declared size
               of the set's data array.

   n           is the number of (possibly non-distinct) elements
               initially contained in the set's data array.
               N cannot be greater than the size of the set.

   set         is a CSPICE set.  set must be declared as a character,
               double precision, or integer SpiceCell.

               On input, set contains n elements.

   set         on output is a valid set created from the input set.

               To create a valid set, the elements are ordered, and
               duplicate elements are removed.  The set's size and
               cardinality members are assigned their correct values.

               The set is ready for use with other set routines.

               When validating a character set, trailing blanks are not
               considered significant in process of sorting and
               removing duplicates.  Trailing blanks are not preserved
               on output.

   None.

   Because a set is ordered and contains distinct values, to create a
   set from a cell, it is necessary to sort the data array and remove
   duplicates. Once the array has been sorted, duplicate elements
   (adjacent after sorting) are removed. The size and cardinality of
   the set are initialized, and the set is ready to go.

   This routine is typically used to create a CSPICE set from a CSPICE
   cell whose array which has been initialized via calls the appnd*_c
   routines, or through compile-time array initializers, or I/O
   statements.  The resulting set can then be used with the other set
   routines.

   When a set is constructed from a large set of unordered values,
   it is far more efficient to append the values to the set and
   then validate the set, than to build up the set via calls to the
   insrt*_c routines.  The latter sort the set and remove duplicates
   on each insertion.

   Because validation is done in place, there is no chance of
   overflow.

   1) Build a double precision cell via a series of calls to appndd_c.
      Create a set from this set by calling valid_c.

         #include "SpiceUsr.h"

         int main()
         {
            /.
            Declare the set.  SETSIZ is the maximum capacity of the set.
            ./
            #define SETSIZ          1000000

            SPICEDOUBLE_CELL ( dpSet, SETSIZ );

            /.
            INISIZ will be the initial number of elements in the set.
            ./
            #define INISIZ          100000

            /.
            Other local variables:
            ./
            SpiceInt                i;

            /.
            Initialize the cell's data array.  We use bogus values to
            simplify the example.
            ./
            for ( i = 0;  i < INISIZ;  i++ )
            {
               appndd_c (  (SpiceDouble)(-i),  &dpset  );
            }

            /.
            Validate the set.  The elements of the set will be arranged
            in increasing order after this call.
            ./
            valid_c ( SETSIZ, INISIZ, &dpSet );

            return ( 0 );
         }

   None.

Literature_References

   1) String comparisons performed by this routine are Fortran-style:
      trailing blanks in the input sets are ignored. This gives
      consistent behavior with CSPICE code generated by the f2c
      translator, as well as with the Fortran SPICE Toolkit.

      Note that this behavior is not identical to that of the ANSI
      C library functions strcmp and strncmp.

   1)   If the size of the set is too small to hold the set
        BEFORE validation, the error SPICE(INVALIDSIZE) is signaled.
        The set is not modified.

   None.

   N.J. Bachman    (JPL)
   C.A. Curzon     (JPL)
   W.L. Taber      (JPL)
   I.M. Underwood  (JPL)

   -CSPICE Version 1.0.0, 08-AUG-2002 (NJB) (CAC) (WLT) (IMU)

   validate a set