Datatypes

datatype: bool

typedef enum bool { false = 0, true = 1 } bool;

Boolean type.

datatype: tbool

typedef enum tbool { tbool_bottom = 0, tbool_true = 1, tbool_false = 2, tbool_top = 3 } tbool;

This the data-type for Boolean lattice, ordered as bottom < {true,false} < top.

datatype: dimsup_t

typedef struct dimsup_t { int pos; int nbdims; } dimsup_t;

Data-type for insertion and deletion of columns in vectors, matrices, and polyhedra.

datatype: equation_t

typedef struct equation_t { int var; pkint* expr; } equation_t_t;

Data-type for performing parallel assignements and substitutions on matrices and polyhedra.