... | ... |
@@ -159,29 +159,29 @@ |
159 | 159 |
//c = (p1 == p2 ); |
160 | 160 |
c = (p1 == 2.2); |
161 | 161 |
c = (p1 == 2 ); |
162 | 162 |
c = (2.2== p2 ); |
163 | 163 |
c = (2 == p2 ); |
164 | 164 |
|
165 |
c = (2 <= e <= 3); |
|
166 |
c = (2 <= p1<= 3); |
|
165 |
c = ((2 <= e) <= 3); |
|
166 |
c = ((2 <= p1) <= 3); |
|
167 | 167 |
|
168 |
c = (2 >= e >= 3); |
|
169 |
c = (2 >= p1>= 3); |
|
168 |
c = ((2 >= e) >= 3); |
|
169 |
c = ((2 >= p1) >= 3); |
|
170 | 170 |
|
171 | 171 |
e[x[3]]=2; |
172 | 172 |
e[x[3]]=4; |
173 | 173 |
e[x[3]]=1; |
174 | 174 |
*e=12; |
175 | 175 |
|
176 | 176 |
lp.addRow(-LP::INF,e,23); |
177 | 177 |
lp.addRow(-LP::INF,3.0*(x[1]+x[2]/2)-x[3],23); |
178 | 178 |
lp.addRow(-LP::INF,3.0*(x[1]+x[2]*2-5*x[3]+12-x[4]/3)+2*x[4]-4,23); |
179 | 179 |
|
180 | 180 |
lp.addRow(x[1]+x[3]<=x[5]-3); |
181 |
lp.addRow(-7<=x[1]+x[3]-12<=3); |
|
181 |
lp.addRow((-7<=x[1]+x[3]-12)<=3); |
|
182 | 182 |
lp.addRow(x[1]<=x[5]); |
183 | 183 |
|
184 | 184 |
std::ostringstream buf; |
185 | 185 |
|
186 | 186 |
|
187 | 187 |
e=((p1+p2)+(p1-0.99*p2)); |
0 comments (0 inline)