line |
!l |
l&&!r |
l&&r |
condition |
145
|
0 |
0 |
309 |
$rec and @$rec == 4 |
183
|
13 |
9 |
370 |
$left <= $$r[0] and $bottom <= $$r[1] |
|
22 |
332 |
38 |
$left <= $$r[0] and $bottom <= $$r[1] and $right >= $$r[2] |
|
341 |
34 |
4 |
$left <= $$r[0] and $bottom <= $$r[1] and $right >= $$r[2] and $top >= $$r[3] |
272
|
1104 |
56 |
584 |
$$r1[0] == $$r2[0] and $$r1[1] == $$r2[1] |
|
1160 |
0 |
584 |
$$r1[0] == $$r2[0] and $$r1[1] == $$r2[1] and $$r1[2] == $$r2[2] |
|
56 |
0 |
584 |
$$r1[0] == $$r2[0] and $$r1[1] == $$r2[1] and $$r1[2] == $$r2[2] and $$r1[3] == $$r2[3] |
284
|
618 |
466 |
76 |
$$r1[0] >= $$r2[0] and $$r1[1] >= $$r2[1] |
|
1084 |
22 |
54 |
$$r1[0] >= $$r2[0] and $$r1[1] >= $$r2[1] and $$r1[2] <= $$r2[2] |
|
488 |
39 |
15 |
$$r1[0] >= $$r2[0] and $$r1[1] >= $$r2[1] and $$r1[2] <= $$r2[2] and $$r1[3] <= $$r2[3] |
364
|
228 |
0 |
509 |
$$rec[0] >= $$r[0] and $$rec[1] >= $$r[1] |
|
228 |
0 |
509 |
$$rec[0] >= $$r[0] and $$rec[1] >= $$r[1] and $$rec[2] <= $$r[2] |
|
0 |
0 |
509 |
$$rec[0] >= $$r[0] and $$rec[1] >= $$r[1] and $$rec[2] <= $$r[2] and $$rec[3] <= $$r[3] |