2 This file is part of PolyLib.
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.
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.
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/>.
18 #ifndef _EXT_EHRHART_H_
19 #define _EXT_EHRHART_H_
21 extern Enumeration
*Domain_Enumerate(Polyhedron
*D
, Polyhedron
*C
,
22 unsigned MAXRAYS
, const char **pn
);
24 extern void new_eadd (evalue
*e1
,evalue
*res
);
26 extern void Scalar_product(Value
*p1
,Value
*p2
,unsigned length
, Value
*r
);