blob: b2321f19072676a44130dab3c8d09a721923ee15 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Hull {[p1,p2] -> [p1-1,p2,Out_3,Out_4] :
exists ( alpha,gamma :
1 <= p1 <= 3
&& 0 <= p2 <= 3
&& -2Out_4+1 <= alpha <= -2Out_4+14
&& -2Out_3+1 <= gamma <= -2Out_3+14
&& 4p1 <= 2Out_3+9gamma
&& 4p2 <= 2Out_4+9alpha
&& 2Out_3+9gamma <= 2+4p1
&& 2Out_4+9alpha <= 3+4p2)};
Hull {[0,p2] -> [3,p2,Out_3,Out_4] :
exists (alpha,gamma :
Out_3+4alpha = 0
&& 0 <= p2 <= 3
&& 0 <= Out_3 <= 4
&& -2Out_4+1 <= gamma <= -2Out_4+14
&& 4p2 <= 2Out_4+9gamma
&& 2Out_4+9gamma <= 3+4p2)};
|
