TaPAS  0.2
prestaf-init.h
Go to the documentation of this file.
1 /*
2  * prestaf-init.h -- add a comment about this file
3  *
4  * This file is a part of the PresTAF project.
5  *
6  * Copyright (C) 2010 CNRS UMR 5800 & Université Bordeaux I (see AUTHORS file).
7  *
8  * This program is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License as published by
10  * the Free Software Foundation; either version 2 of the License, or
11  * (at your option) any later version.
12  *
13  * This program is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with this program; if not, write to the Free Software
20  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
21  * 02110-1301 USA
22  */
23 
29 #ifndef __PRESTAF_INIT_H__
30 # define __PRESTAF_INIT_H__
31 
32 # ifdef HAVE_CONFIG
33 # include <config.h>
34 # endif
35 
37 # include <prestaf/prestaf-formula.h>
38 
39 BEGIN_C_DECLS
40 
44 extern void
45 prestaf_init (void);
46 
50 extern void
51 prestaf_terminate (void);
52 
53 END_C_DECLS
54 
55 #endif /* ! __PRESTAF_INIT_H__ */
This module implements an encoding of Presburger formulae. It computes also for a given formula its s...