source/funcall.h

   1 /******************************************************************************
   2  *                     PIP : Parametric Integer Programming                   *
   3  ******************************************************************************
   4  *                                 funcall.h                                  *
   5  ******************************************************************************
   6  *                                                                            *
   7  * Copyright Paul Feautrier, 1988-2005                                        *
   8  *                                                                            *
   9  * This is free software; you can redistribute it and/or modify it under the  *
  10  * terms of the GNU General Public License as published by the Free Software  *
  11  * Foundation; either version 2 of the License, or (at your option) any later *
  12  * version.                                                                   *
  13  *                                                                            *
  14  * This software is distributed in the hope that it will be useful, but       *
  15  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
  16  * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License   *
  17  * for more details.                                                          *
  18  *                                                                            *
  19  * You should have received a copy of the GNU General Public License along    *
  20  * with software; if not, write to the Free Software Foundation, Inc.,        *
  21  * 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA                     *
  22  *                                                                            *
  23  * Written by Paul Feautrier                                                  *
  24  *                                                                            *
  25  *****************************************************************************/
  26
  27 #ifndef FUNCALL_H
  28 #define FUNCALL_H
  29 #if defined(__cplusplus)
  30 extern "C"
  31   {
  32 #endif
  33
  34 void traiter(Tableau *, Tableau *, int, int, int, int, int, int);
  35 int integrer(Tableau **, Tableau **, int *, int *, int *, int *);
  36 #if defined(LINEAR_VALUE_IS_MP)
  37 #else
  38 Entier pgcd(Entier, Entier);
  39 Entier mod(Entier,Entier);
  40 int llog(Entier);
  41 #endif
  42
  43 int sol_hwm(void);
  44 void sol_simplify(int);
  45 int is_not_Nil(int);
  46 int sol_edit(FILE *, int);
  47 void tab_reset(struct high_water_mark);
  48 void sol_reset(int);
  49 struct high_water_mark tab_hwm(void);
  50 Tableau *tab_get(FILE *, int,int,int);
  51 void sol_init(void);
  52 void sol_close(void);
  53 void tab_init(void);
  54 void tab_close(void);
  55 void sol_if(void);
  56 void sol_forme(int);
  57 void sol_val(Entier, Entier);
  58 void sol_nil(void);
  59 void sol_error(int);
  60 Tableau * tab_alloc(int, int, int);
  61 void sol_list(int);
  62 void tab_display(Tableau *, FILE *);
  63 Tableau * expanser(Tableau *, int, int, int, int, int, int);
  64 void sol_new(int);
  65 void sol_div(void);
  66
  67 #if defined(__cplusplus)
  68   }
  69 #endif
  70 #endif /* define _H */