include/polylib/eval_ehrhart.h

   1 /*
   2     This file is part of PolyLib.
   3
   4     PolyLib is free software: you can redistribute it and/or modify
   5     it under the terms of the GNU General Public License as published by
   6     the Free Software Foundation, either version 3 of the License, or
   7     (at your option) any later version.
   8
   9     PolyLib is distributed in the hope that it will be useful,
  10     but WITHOUT ANY WARRANTY; without even the implied warranty of
  11     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12     GNU General Public License for more details.
  13
  14     You should have received a copy of the GNU General Public License
  15     along with PolyLib.  If not, see <http://www.gnu.org/licenses/>.
  16 */
  17
  18 #ifndef _eval_ehrhart_H_
  19 #define _eval_ehrhart_H_
  20
  21 #if defined(__cplusplus)
  22 extern "C" {
  23 #endif
  24
  25 extern double compute_evalue ( evalue *e, Value *list_args );
  26 extern Value *compute_poly (Enumeration *en, Value *list_args);
  27 extern int in_domain(Polyhedron *P, Value *list_args);
  28
  29 #if defined(__cplusplus)
  30 }
  31 #endif
  32
  33 #endif /* _eval_ehrhart_H_ */
  34
  35
  36