equal
deleted
inserted
replaced
26 LP::Expr e; |
26 LP::Expr e; |
27 e[x[3]]=2; |
27 e[x[3]]=2; |
28 e[x[3]]=4; |
28 e[x[3]]=4; |
29 e[x[3]]=1; |
29 e[x[3]]=1; |
30 e.constComp()=12; |
30 e.constComp()=12; |
|
31 |
|
32 LP::Col p1,p2,p3,p4,p5; |
|
33 |
31 lp.addRow(LP::INF,e,23); |
34 lp.addRow(LP::INF,e,23); |
32 |
35 lp.addRow(LP::INF,3.0*(p1+p2)-p3,23); |
|
36 lp.addRow(LP::INF,3.0*(x[1]+x[2]/2)-x[3],23); |
|
37 lp.addRow(LP::INF,3.0*(p1+p2*2-5*p3+12-p4/3)+2*p4-4,23); |
|
38 lp.addRow(LP::INF,3.0*(x[1]+x[2]*2-5*x[3]+12-x[4]/3)+2*x[4]-4,23); |
33 } |
39 } |