This data structure represents a linear inequality system used for Fourier-Motzkin variable elimination. The linear inequality system is then simply an array of this record type that holds an optional lower and upper bound and a vector of coefficients for the linear expression sum_{i=0..L-1} vector[i] * x[i] for variables x[i].