TaPAS  0.2
genepi-trace.h
Go to the documentation of this file.
1 /*
2  * GENEPI is the GENEric Presburger programming Interface.
3  *
4  * This file is a part of the GENEric Presburger programming Interface.
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 
37 #ifndef __GENEPI_TRACE_H__
38 # define __GENEPI_TRACE_H__
39 
43 typedef enum {
51 
59 
67 
75 
84 
92 
99 
107 
115 
123 
131 
139 
148 
156 
164 
172 
180 
190 
197 
205 
213 
221 
229 
238 
239 #endif /* ! __GENEPI_TRACE_H__ */
syntax: cmd dest_id idop1 idop2
Definition: genepi-trace.h:91
syntax: cmd idop result
Definition: genepi-trace.h:163
syntax: cmd dest_id width
Definition: genepi-trace.h:204
syntax: cmd idop result
Definition: genepi-trace.h:189
syntax: cmd dest_id idop1 idop2
Definition: genepi-trace.h:138
syntax: cmd idop result
Definition: genepi-trace.h:171
syntax: cmd dest_id width
Definition: genepi-trace.h:212
syntax: cmd dest_id width
Definition: genepi-trace.h:66
syntax: cmd dest_id idop sel_size sel_1 ...
Definition: genepi-trace.h:114
syntax: cmd dest_id idop sel_size sel_1 ...
Definition: genepi-trace.h:122
syntax: cmd idop result
Definition: genepi-trace.h:155
syntax: cmd dest_id cmp cst alpha_size alpha_1 ...
Definition: genepi-trace.h:83
syntax: cmd dest_id idop
Definition: genepi-trace.h:106
syntax: cmd cmp idop1 idop2 result
Definition: genepi-trace.h:147
syntax: cmd id
Definition: genepi-trace.h:50
syntax: cmd dest_id width
Definition: genepi-trace.h:74
genepi_trace_command
Identifier of DIJO commands.
Definition: genepi-trace.h:43
syntax: cmd dest_id width
Definition: genepi-trace.h:220
syntax: cmd dest_id idop1 idop2
Definition: genepi-trace.h:130
syntax: cmd idop result
Definition: genepi-trace.h:179
syntax: cmd dest_id width
Definition: genepi-trace.h:228
syntax: cmd idop result size xden x_1 ...
Definition: genepi-trace.h:236
syntax: cmd result
Definition: genepi-trace.h:196
syntax: cmd id
Definition: genepi-trace.h:58
syntax: cmd dest_id idop1 idop2
Definition: genepi-trace.h:98