source/sol.h

   1 /******************************************************************************
   2  *                     PIP : Parametric Integer Programming                   *
   3  ******************************************************************************
   4  *                                  sol.h                                     *
   5  ******************************************************************************
   6  *                                                                            *
   7  * Copyright Paul Feautrier, 1988, 1993, 1994, 1996, 2002                     *
   8  *                                                                            *
   9  * This library is free software; you can redistribute it and/or modify it    *
  10  * under the terms of the GNU Lesser General Public License as published by   *
  11  * the Free Software Foundation; either version 2.1 of the License, or (at    *
  12  * your option) any later 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 Lesser General Public License   *
  20  * along with this library; if not, write to the Free Software Foundation,    *
  21  * Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA         *
  22  *                                                                            *
  23  * Written by Paul Feautrier                                                  *
  24  *                                                                            *
  25  ******************************************************************************/
  26
  27 #ifndef SOL_H
  28 #define SOL_H
  29 #if defined(__cplusplus)
  30 extern "C"
  31   {
  32 #endif
  33
  34 void sol_init(void);
  35 int sol_hwm(void);
  36 void sol_reset(int);
  37 void sol_nil(void);
  38 void sol_if(void);
  39 void sol_list(int);
  40 void sol_form(int);
  41 void sol_new(int);
  42 void sol_div(void);
  43 void sol_val(Entier, Entier);
  44 int sol_edit(FILE *, int);
  45 int is_not_Nil(int);
  46 void sol_simplify(int);
  47
  48 #if defined(__cplusplus)
  49   }
  50 #endif
  51 #endif /* define _H */