polylib: eval_ehrhart.h Source File

00001 /*
00002     This file is part of PolyLib.
00003 
00004     PolyLib is free software: you can redistribute it and/or modify
00005     it under the terms of the GNU General Public License as published by
00006     the Free Software Foundation, either version 3 of the License, or
00007     (at your option) any later version.
00008 
00009     PolyLib is distributed in the hope that it will be useful,
00010     but WITHOUT ANY WARRANTY; without even the implied warranty of
00011     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00012     GNU General Public License for more details.
00013 
00014     You should have received a copy of the GNU General Public License
00015     along with PolyLib.  If not, see <http://www.gnu.org/licenses/>.
00016 */
00017 
00018 #ifndef _eval_ehrhart_H_
00019 #define _eval_ehrhart_H_
00020 
00021 #if defined(__cplusplus)
00022 extern "C" {
00023 #endif
00024 
00025 extern double compute_evalue ( evalue *e, Value *list_args );
00026 extern Value *compute_poly (Enumeration *en, Value *list_args);
00027 extern int in_domain(Polyhedron *P, Value *list_args);
00028 
00029 #if defined(__cplusplus)
00030 }
00031 #endif
00032 
00033 #endif /* _eval_ehrhart_H_ */
00034 
00035 
00036