polylib: eval_ehrhart.h Source File

- Main Page
- Classes
- Files

- File List
- File Members

# eval_ehrhart.h

Go to the documentation of this 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