Lines Matching refs:outFlow
4 array [1..6] of var 0..1: outFlow :: output_array([1..6]);
44 constraint int_lin_eq([1, -1], [outFlow[6], x[36]], 0);
45 constraint int_lin_eq([-1, 1, -1], [inFlow[1], outFlow[1], rhs[1]], 0);
46 constraint int_lin_eq([-1, 1, -1], [inFlow[2], outFlow[2], rhs[2]], 0);
47 constraint int_lin_eq([-1, 1, -1], [inFlow[3], outFlow[3], rhs[3]], 0);
48 constraint int_lin_eq([-1, 1, -1], [inFlow[4], outFlow[4], rhs[4]], 0);
49 constraint int_lin_eq([-1, 1, -1], [inFlow[5], outFlow[5], rhs[5]], 0);
50 constraint int_lin_eq([-1, 1, -1], [inFlow[6], outFlow[6], rhs[6]], 0);
54 constraint int_lin_eq([1, -1, -1], [outFlow[3], x[15], x[17]], 0);
55 constraint int_lin_eq([1, -1, -1], [outFlow[4], x[22], x[24]], 0);
56 constraint int_lin_eq([1, -1, -1], [outFlow[5], x[29], x[30]], 0);
59 constraint int_lin_eq([1, -1, -1, -1], [outFlow[1], x[1], x[2], x[3]], 0);
60 constraint int_lin_eq([1, -1, -1, -1], [outFlow[2], x[8], x[10], x[11]], 0);