TaPAS  0.2
alambic.h
Go to the documentation of this file.
1 /*
2  * alambic.h -- A tool to translate ARMOISE formula into GENEPI calls
3  *
4  * This file is a part of the Alambic Library.
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 
34 #ifndef __ALAMBIC_H__
35 # define __ALAMBIC_H__
36 
37 # include <genepi/genepi.h>
38 # include <armoise/armoise.h>
39 
40 BEGIN_C_DECLS
41 
45 typedef enum {
87 
92 typedef struct armoise_normalized_predicate_st armoise_normalized_predicate;
93 
110  const armoise_predicate *P, alambic_error *p_err);
111 
120 extern ccl_tree *
122  const ccl_tree *t, alambic_error *p_err);
123 
135 extern genepi_set *
138  alambic_error *p_error);
139 
140 END_C_DECLS
141 
142 #endif /* ! __ALAMBIC_H__ */
struct armoise_context_st armoise_context
Abstract type representing the context of a predicate.
Definition: armoise.h:46
Structure storing a node of a generic tree.
Definition: ccl-tree.h:40
struct armoise_predicate_st armoise_predicate
Abstract of an ARMOISE predicate.
Definition: armoise.h:51
struct armoise_normalized_predicate_st armoise_normalized_predicate
Abstract type of a normalized ARMOISE predicate.
Definition: alambic.h:92
struct genepi_set_st genepi_set
Abstraction of Presburger definable set.
Definition: genepi.h:190
ccl_tree * alambic_normalize_predicate_tree(armoise_context *parent, const ccl_tree *t, alambic_error *p_err)
Normalize the predicates stored in the tree t.
alambic_error
Error code returned by Alambic functions.
Definition: alambic.h:45
genepi_set * alambic_compute_predicate(genepi_solver *solver, const armoise_normalized_predicate *P, alambic_error *p_error)
Computes the solutions of the normalized predicate P.
GENEPI Solver Interface.
struct genepi_solver_st genepi_solver
Type of GENEPI solver.
Definition: genepi.h:180
armoise_normalized_predicate * alambic_normalize_predicate(armoise_context *parent, const armoise_predicate *P, alambic_error *p_err)
Normalize the armoise predicate P.