zsolve/indexarray.c

   1 /*
   2 4ti2 -- A software package for algebraic, geometric and combinatorial
   3 problems on linear spaces.
   4
   5 Copyright (C) 2006 4ti2 team.
   6 Main author(s): Matthias Walter.
   7
   8 This program is free software; you can redistribute it and/or
   9 modify it under the terms of the GNU General Public License
  10 as published by the Free Software Foundation; either version 2
  11 of the License, or (at your option) any later version.
  12
  13 This program is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with this program; if not, write to the Free Software
  20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  21 */
  22
  23 #include "indexarray.h"
  24
  25 #include <stdlib.h>
  26 #include <stdio.h>
  27 #include <assert.h>
  28
  29 //                                                                            //
  30
  31 IndexArray createIndexArray()
  32 {
  33         IndexArray array = (IndexArray)malloc(sizeof(indexarray_t));
  34
  35         if (array==NULL)
  36         {
  37                 fprintf(stderr, "Fatal Error: Could not allocate memory for IndexArray!\n");
  38                 exit(1);
  39         }
  40
  41         array->Size = 0;
  42         array->Data = NULL;
  43
  44         return array;
  45 }
  46
  47 //                                                                            //
  48
  49 void deleteIndexArray(IndexArray array)
  50 {
  51         if (array)
  52         {
  53                 if (array->Data)
  54                         free(array->Data);
  55                 free(array);
  56         }
  57 }
  58
  59 //                                                                            //
  60
  61 void appendToIndexArray(IndexArray array, int index)
  62 {
  63 #ifndef NDEBUG
  64         int i;
  65         assert(array);
  66         for (i=0; i<array->Size; i++)
  67                 assert(array->Data[i]!=index);
  68 #endif
  69
  70         assert(array);
  71
  72         array->Size++;
  73         array->Data = (int *)realloc(array->Data, array->Size*sizeof(int));
  74         array->Data[array->Size-1] = index;
  75 }
  76
  77 //                                                                            //
  78
  79 void fprintIndexArray(FILE *stream, IndexArray array)
  80 {
  81         int i;
  82
  83         assert(array);
  84         assert(stream);
  85
  86         for (i=0; i<array->Size; i++)
  87                 fprintf(stream, i>0 ? " %d" : "%d", array->Data[i]);
  88 }
  89
  90 //                                                                            //