zsolve/varproperties.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 "varproperties.h"
  24
  25 #include <assert.h>
  26 #include <stdlib.h>
  27
  28 //                                                                            //
  29
  30 VariableProperties createVariableProperties(int size)
  31 {
  32         VariableProperties var;
  33         int i;
  34
  35         assert(size>0);
  36
  37         var = (VariableProperties)malloc(size*sizeof(variableproperty_t));
  38
  39         if (var==NULL)
  40         {
  41                 fprintf(stderr, "Fatal Error (%s/%d): Could not allocate memory for VariableProperties!\n", __FILE__, __LINE__);
  42                 exit(1);
  43         }
  44
  45         for (i=0; i<size; i++)
  46         {
  47                 var[i].Free = true;
  48                 var[i].Upper = MAXINT;
  49                 var[i].Lower = -MAXINT;
  50                 var[i].Column = i;
  51         }
  52
  53         return var;
  54 }
  55
  56 //                                                                            //
  57
  58 void deleteVariableProperties(VariableProperties var)
  59 {
  60         if (var)
  61                 free(var);
  62 }
  63
  64 //                                                                            //
  65
  66 bool checkVariableSymmetry(VariableProperties var, int id)
  67 {
  68         assert(var);
  69         assert(id>=0);
  70
  71         return var[id].Lower+var[id].Upper==0;
  72 }
  73
  74 //                                                                            //
  75
  76 bool checkVariableFree(VariableProperties var, int id)
  77 {
  78         assert(var);
  79         assert(id>=0);
  80
  81         return var[id].Free;
  82 }
  83
  84 //                                                                            //
  85
  86 bool checkVariableBounds(VariableProperties var, int id, int num)
  87 {
  88         assert(var);
  89         assert(id>=0);
  90
  91         return var[id].Lower<=num && num<=var[id].Upper;
  92 }
  93
  94 //                                                                            //
  95
  96 void swapVariableProperties(VariableProperties var, int a, int b)
  97 {
  98         variableproperty_t v;
  99
 100         assert(a>=0);
 101         assert(b>=0);
 102
 103         v = var[a];
 104         var[a] = var[b];
 105         var[b] = v;
 106 }
 107
 108 //                                                                            //
 109
 110 void fprintVariableProperties(FILE *stream, VariableProperties var, int size)
 111 {
 112         int i;
 113
 114         for (i=0; i<size; i++)
 115                 fprintf(stream, "%d %d %d %d\n", var[i].Column, var[i].Lower, var[i].Upper, var[i].Free);
 116 }
 117
 118 //                                                                            //
 119
 120 void readVariableProperties(FILE *stream, VariableProperties var, int size)
 121 {
 122         int i;
 123
 124         assert(stream);
 125         assert(var);
 126
 127         for (i=0; i<size; i++)
 128                 fscanf(stream, "%d %d %d %d", &(var[i].Column), &(var[i].Lower), &(var[i].Upper), &(var[i].Free));
 129 }
 130
 131 //                                                                            //