|
|
| WRC27
|
:
|
SIZEOF(points) = 8 ;
|
| WRC28
|
:
|
above_plane(points[1], points[2], points[3], points[4]) = 0.0;
|
| WRC29
|
:
|
above_plane(points[5], points[8], points[7], points[6]) = 0.0;
|
| WRC30
|
:
|
above_plane(points[1], points[4], points[8], points[5]) = 0.0;
|
| WRC31
|
:
|
above_plane(points[4], points[3], points[7], points[8]) = 0.0;
|
| WRC32
|
:
|
above_plane(points[3], points[2], points[6], points[7]) = 0.0;
|
| WRC33
|
:
|
above_plane(points[1], points[5], points[6], points[2]) = 0.0;
|
| WRC34
|
:
|
same_side([points[1], points[2], points[3]],
[points[5], points[6], points[7], points[8]]);
|
| WRC35
|
:
|
same_side([points[1], points[4], points[8]],
[points[3], points[7], points[6], points[2]]);
|
| WRC36
|
:
|
same_side([points[1], points[2], points[5]],
[points[3], points[7], points[8], points[4]]);
|
| WRC37
|
:
|
same_side([points[5], points[6], points[7]],
[points[1], points[2], points[3], points[4]]);
|
| WRC38
|
:
|
same_side([points[3], points[7], points[6]],
[points[1], points[4], points[8], points[5]]);
|
| WRC39
|
:
|
same_side([points[3], points[7], points[8]],
[points[1], points[5], points[6], points[2]]);
|
|