| 
| 
genepi_set *  | genepi_set_imply (genepi_solver *solver, genepi_set *S1, genepi_set *S2) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_equiv (genepi_solver *solver, genepi_set *S1, genepi_set *S2) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_if_then_else (genepi_solver *solver, genepi_set *i, genepi_set *t, genepi_set *e) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_linear_transform (genepi_solver *solver, int n, int *alpha, int c, genepi_set **X) | 
|   | Computes  . 
  | 
|   | 
| 
static genepi_set *  | genepi_set_aX_plus_bY (genepi_solver *solver, int a, genepi_set *X, int b, genepi_set *Y) | 
|   | Computes  . 
  | 
|   | 
| 
static genepi_set *  | genepi_set_add (genepi_solver *solver, genepi_set *X, genepi_set *Y) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_add_constant (genepi_solver *solver, int a, genepi_set *X, int *c, int cden) | 
|   | Computes  . 
  | 
|   | 
| 
static genepi_set *  | genepi_set_sub (genepi_solver *solver, genepi_set *X, genepi_set *Y) | 
|   | Computes  . 
  | 
|   | 
| 
static genepi_set *  | genepi_set_scale (genepi_solver *solver, int s, genepi_set *X) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_mul_vector (genepi_solver *solver, genepi_set *X, int width, const int *vector, int den) | 
|   | Given a set X of scalar values and a vector/den, computes the set  . 
  | 
|   | 
| 
static genepi_set *  | genepi_set_neg (genepi_solver *solver, genepi_set *X) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_cartesian_product (genepi_solver *solver, genepi_set *X, genepi_set *Y) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_singleton (genepi_solver *solver, int width, const int *vector, int den) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_delta (genepi_solver *solver, genepi_set *X, genepi_set *Y) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_diff (genepi_solver *solver, genepi_set *X, genepi_set *Y) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_interleave (genepi_solver *solver, int nb_X, genepi_set **X) | 
|   | Computes a genepi_set encoding the interleaving of columns of X[i]s. 
  | 
|   | 
| 
genepi_set *  | genepi_set_instable (genepi_solver *solver, genepi_set *X) | 
|   | Computes  . 
  | 
|   | 
| 
genepi_set *  | genepi_set_monoid (genepi_solver *solver, genepi_set *X) | 
|   | Computes  . 
  | 
|   | 
Generic operations on GENEPI sets. 
Definition in file genepi-util.h.