libapron-dev 0.9.10-9 / usr / include / ap_tcons0.h

This file is indexed.

/usr/include/ap_tcons0.h is in libapron-dev 0.9.10-9.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
/* ************************************************************************* */
/* ap_tcons0.h: tree expressions constraints and arrays */
/* ************************************************************************* */

/* This file is part of the APRON Library, released under LGPL license.  Please
   read the COPYING file packaged in the distribution */

/* normally included from ap_expr0.h */

#ifndef _AP_TCONS0_H_
#define _AP_TCONS0_H_

#include <limits.h>
#include <stdio.h>
#include <stdlib.h>
#include "ap_coeff.h"
#include "ap_texpr0.h"
#include "ap_lincons0.h"

#ifdef __cplusplus
extern "C" {
#endif


/* Datatypes */
/* ====================================================================== */

/* Represents the constraint "expr constyp 0" */
typedef struct ap_tcons0_t {
  ap_texpr0_t* texpr0;  /* expression */
  ap_constyp_t constyp; /* type of constraint */
  ap_scalar_t* scalar;  /* maybe NULL.  
			   For EQMOD constraint, indicates the
			   modulo */
} ap_tcons0_t;

/* Array of constraints */
typedef struct ap_tcons0_array_t {
  ap_tcons0_t* p;
  size_t size;
} ap_tcons0_array_t;

/* ********************************************************************** */
/* I. ap_tcons0_t */
/* ********************************************************************** */

/* ====================================================================== */
/* I.1 Memory management and printing */
/* ====================================================================== */

static inline
ap_tcons0_t ap_tcons0_make(ap_constyp_t constyp, 
			   ap_texpr0_t* texpr,
			   ap_scalar_t* scalar);
  /* Create a constraint of given type with the given expression.
     The expression and the coefficient are not duplicated, just pointed to */

ap_tcons0_t ap_tcons0_make_unsat(void);
  /* Create the constraint -1>=0 */

static inline
ap_tcons0_t ap_tcons0_from_lincons0(ap_lincons0_t* cons);
  /* From linear constraint to comb-like tree expression constraint  */

static inline
ap_tcons0_t ap_tcons0_copy(ap_tcons0_t* cons);
  /* Duplication */

static inline
void ap_tcons0_clear(ap_tcons0_t* cons);
  /* Free the linear expression of the constraint and set pointer to NULL */

void ap_tcons0_fprint(FILE* stream,
		      ap_tcons0_t* cons, char** name_of_dim);
  /* Printing a linear constraint */

/* ====================================================================== */
/* I.2 Tests */
/* ====================================================================== */

static inline
bool ap_tcons0_is_interval_cst(ap_tcons0_t* a);
  /* no-variable, only constant leaves */

static inline
bool ap_tcons0_is_interval_linear(ap_tcons0_t* a);
  /* linear with possibly interval coefficients, no rounding */

static inline
bool ap_tcons0_is_interval_polynomial(ap_tcons0_t* a);
  /* polynomial with possibly interval coefficients, no rounding  */

static inline
bool ap_tcons0_is_interval_polyfrac(ap_tcons0_t* a);
  /* polynomial fraction with possibly interval coefficients, no rounding */

static inline
bool ap_tcons0_is_scalar(ap_tcons0_t* a);
  /* all coefficients are scalar (non-interval) */

/* ====================================================================== */
/* I.3 Change of dimensions and permutations */
/* ====================================================================== */

static inline
void ap_tcons0_add_dimensions_with(ap_tcons0_t* cons,
				   ap_dimchange_t* dimchange);
static inline
ap_tcons0_t ap_tcons0_add_dimensions(ap_tcons0_t* cons,
				     ap_dimchange_t* dimchange);

static inline
void ap_tcons0_remove_dimensions_with(ap_tcons0_t* cons,
				      ap_dimchange_t* dimchange);
static inline
ap_tcons0_t ap_tcons0_remove_dimensions(ap_tcons0_t* cons,
					ap_dimchange_t* dimchange);

static inline
void ap_tcons0_permute_dimensions_with(ap_tcons0_t* cons,
				       ap_dimperm_t* perm);
static inline
ap_tcons0_t ap_tcons0_permute_dimensions(ap_tcons0_t* cons,
					 ap_dimperm_t* perm);

/* ********************************************************************** */
/* II. Array of linear constraints */
/* ********************************************************************** */

ap_tcons0_array_t ap_tcons0_array_make(size_t size);
  /* Allocate an array of size constraints.
     The constraints are initialized with NULL pointers, */

void ap_tcons0_array_resize(ap_tcons0_array_t* array, size_t size);
  /* Resize an array of size constraints.
     New constraints are initialized with NULL pointers,
     Removed constraints with non-NULL pointers are deallocated */

void ap_tcons0_array_clear(ap_tcons0_array_t* array);
  /* Clear the constraints of the array, and then the array itself */

void ap_tcons0_array_fprint(FILE* stream,
			      ap_tcons0_array_t* ap_tcons0_array,
			      char** name_of_dim);
  /* Printing */

bool ap_tcons0_array_is_interval_linear(ap_tcons0_array_t* array);
  /* Are all the expressions involved interval linear ? */

/* ====================================================================== */
/* II.1 Change of dimensions and permutations */
/* ====================================================================== */

void ap_tcons0_array_add_dimensions_with(ap_tcons0_array_t* array,
					 ap_dimchange_t* dimchange);
ap_tcons0_array_t ap_tcons0_array_add_dimensions(ap_tcons0_array_t* array,
						 ap_dimchange_t* dimchange);

void ap_tcons0_array_remove_dimensions_with(ap_tcons0_array_t* array,
					    ap_dimchange_t* dimchange);
ap_tcons0_array_t ap_tcons0_array_remove_dimensions(ap_tcons0_array_t* array,
						    ap_dimchange_t* dimchange);

void ap_tcons0_array_permute_dimensions_with(ap_tcons0_array_t* array,
					     ap_dimperm_t* perm);
ap_tcons0_array_t ap_tcons0_array_permute_dimensions(ap_tcons0_array_t* array,
						     ap_dimperm_t* perm);

/* ********************************************************************** */
/* III. Inline functions definitions */
/* ********************************************************************** */

static inline ap_tcons0_t ap_tcons0_make(ap_constyp_t constyp, ap_texpr0_t* texpr, ap_scalar_t* scalar)
{
  ap_tcons0_t cons;
  cons.constyp = constyp;
  cons.texpr0 = texpr;
  cons.scalar = scalar;
  return cons;
}
static inline ap_tcons0_t ap_tcons0_from_lincons0(ap_lincons0_t* cons)
{
  ap_tcons0_t res;
  res.texpr0 = ap_texpr0_from_linexpr0(cons->linexpr0);
  res.constyp = cons->constyp;
  res.scalar = cons->scalar ? ap_scalar_alloc_set(cons->scalar) : NULL;
  return res;
}
static inline ap_tcons0_t ap_tcons0_copy(ap_tcons0_t* cons)
{
  return ap_tcons0_make(cons->constyp, 
			ap_texpr0_copy(cons->texpr0),
			cons->scalar ? ap_scalar_alloc_set(cons->scalar) : NULL);
}
static inline void ap_tcons0_clear(ap_tcons0_t* tcons)
{
  if (tcons->texpr0){
    ap_texpr0_free(tcons->texpr0);
  }
  tcons->texpr0 = NULL;
  if (tcons->scalar){
    ap_scalar_free(tcons->scalar);
  }
  tcons->scalar = NULL;
}
  
static inline
bool ap_tcons0_is_interval_cst(ap_tcons0_t* a)
{ return ap_texpr0_is_interval_cst(a->texpr0); }
static inline
bool ap_tcons0_is_interval_linear(ap_tcons0_t* a)
{ return ap_texpr0_is_interval_linear(a->texpr0); }
static inline
bool ap_tcons0_is_interval_polynomial(ap_tcons0_t* a)
{ return ap_texpr0_is_interval_polynomial(a->texpr0); }
static inline
bool ap_tcons0_is_interval_polyfrac(ap_tcons0_t* a)
{ return ap_texpr0_is_interval_polyfrac(a->texpr0); }
static inline
bool ap_tcons0_is_scalar(ap_tcons0_t* a)
{ return ap_texpr0_is_scalar(a->texpr0); }

static inline
void ap_tcons0_add_dimensions_with(ap_tcons0_t* cons,
				   ap_dimchange_t* dimchange)
{ ap_texpr0_add_dimensions_with(cons->texpr0,dimchange); }
static inline
ap_tcons0_t ap_tcons0_add_dimensions(ap_tcons0_t* cons,
				     ap_dimchange_t* dimchange)
{
  return ap_tcons0_make(cons->constyp,
			ap_texpr0_add_dimensions(cons->texpr0,dimchange),
			cons->scalar ? ap_scalar_alloc_set(cons->scalar) : NULL);
}
static inline
void ap_tcons0_remove_dimensions_with(ap_tcons0_t* cons,
				      ap_dimchange_t* dimchange)
{ ap_texpr0_remove_dimensions_with(cons->texpr0,dimchange); }
static inline
ap_tcons0_t ap_tcons0_remove_dimensions(ap_tcons0_t* cons,
					ap_dimchange_t* dimchange)
{
  return ap_tcons0_make(cons->constyp,
			ap_texpr0_remove_dimensions(cons->texpr0,dimchange),
			cons->scalar ? ap_scalar_alloc_set(cons->scalar) : NULL);
}
static inline
void ap_tcons0_permute_dimensions_with(ap_tcons0_t* cons,
				       ap_dimperm_t* perm)
{ ap_texpr0_permute_dimensions_with(cons->texpr0,perm); }
static inline
ap_tcons0_t ap_tcons0_permute_dimensions(ap_tcons0_t* cons,
					 ap_dimperm_t* perm)
{
  return ap_tcons0_make(cons->constyp,
			ap_texpr0_permute_dimensions(cons->texpr0,perm),
			cons->scalar ? ap_scalar_alloc_set(cons->scalar) : NULL);
}
  
#ifdef __cplusplus
}
#endif

#endif

APT Browse - Built by Thomas Orozco.