Go to the first, previous, next, last section, table of contents.
All the routines given in section Matrix Manipulation also apply to
linear inequalities.
The symbols A, B and C are of the class
lin_ineq
; a is a single inequality of the class
constraint
and m, n, i and
j are integers.
num_variables();
n()
.
num_constraints();
m()
.
is_empty();
lin_ineq A(r, c);
A.init(r, c);
lin_ineq A(B);
lin_ineq A(&B);
A.init(B);
A.init(&B);
coeff cf;
lin_ineq A(cf);
lin_ineq A(&cf);
A.init(cf);
A.init(&cf);
cf
is a data structure used in dependence testing. These
will convert the information in cf
to the linear inequality
format.
FILE * fp;
lin_ineq A(fp);
lin_ineq A(fp, i, j);
A.init(fp);
A.init(fp, i, j);
A = B.conjunct(C);
A = B & C;
conjunct
and the operator &
perform a
Conjunction on the two systems of inequalities.
Go to the first, previous, next, last section, table of contents.