data/cd209/part409cdts_wg3n2617mim_lf.exp

35055         IF (bnd1 > bnd2) OR ((bnd1 = bnd2) AND max_included (spc1) AND NOT
35056           max_included (spc2)) THEN
35085       RETURN ((bnd2 > bnd1) OR ((bnd2 = bnd1) AND (max_included (spc2) OR
35086         NOT max_included (spc1))));
35347 FUNCTION max_included(spc : maths_space) : BOOLEAN;
35362 END_FUNCTION;  -- max_included
35445   IF is_xmax THEN  xmax := real_max(xitv);  xmax_in := max_included(xitv);  END_IF;
35447   IF is_ymax THEN  ymax := real_max(yitv);  ymax_in := max_included(yitv);  END_IF;
35639       IF a+2.0*PI = aitv.max THEN  a_in := max_included(aitv);  RETURN;  END_IF;
35642     ELSE IF a = aitv.max THEN      a_in := max_included(aitv);  RETURN;
35645       a := aitv.max;               a_in := max_included(aitv);
35676       xmin_in := a_in AND max_included(ritv);
35691       xmax_in := a_in AND max_included(ritv);
35706       ymin_in := a_in AND max_included(ritv);
35721       ymax_in := a_in AND max_included(ritv);
35870       inn := NOT max_included(aitp);  -- slot exists;
35872       rmax := rc+rmxp;                    rmax_in := max_included(ritp);
35876         amin := angle(acp-a0);            amin_in := max_included(ritp);
35892         rmin := 0.0;                      rmin_in := max_included(ritp);
35924       in0 := max_included(ritp) AND min_included(aitp);
35929       in1 := max_included(ritp) AND max_included(aitp);
35934       in2 := min_included(ritp) AND max_included(aitp);
35948         in1 := max_included(aitp);
35953         rmax := rc+rmxp;                  rmax_in := max_included(ritp);
35966           rmin := rc-rmxp;                rmin_in := max_included(ritp);
35982           r := rc*SIN(ABS(a));            inn := max_included(aitp);
35999           amin := ab-ASIN(rmxp/rc);       amin_in := max_included(ritp);
36002           amax := ab+ASIN(rmxp/rc);       amax_in := max_included(ritp);
36045         IF max_included(aitp) THEN
36055         IF NOT max_included(aitp) THEN  -- Special cases when aligned with slot
36075       in2 := min_included(ritp) AND max_included(aitp);
36087         in1 := max_included(aitp);
36103           r := rc*SIN(ABS(a));            inn := max_included(aitp);
36394         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36396           OR (NOT c_in AND NOT min_included(aitv) AND max_included(aitv)
36398           OR (NOT c_in AND min_included(aitv) AND NOT max_included(aitv)
36400           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36406         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36407               AND max_included(xitv) AND min_included(yitv))
36408           OR (NOT c_in AND NOT min_included(aitv) AND max_included(aitv)
36409               AND max_included(xitv) AND NOT min_included(yitv))
36410           OR (NOT c_in AND min_included(aitv) AND NOT max_included(aitv)
36411               AND NOT max_included(xitv) AND min_included(yitv))
36412           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36413               AND NOT max_included(xitv) AND NOT min_included(yitv))));
36418         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36419               AND max_included(xitv) AND max_included(yitv))
36420           OR (NOT c_in AND NOT min_included(aitv) AND max_included(aitv)
36421               AND max_included(xitv) AND NOT max_included(yitv))
36422           OR (NOT c_in AND min_included(aitv) AND NOT max_included(aitv)
36423               AND NOT max_included(xitv) AND max_included(yitv))
36424           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36425               AND NOT max_included(xitv) AND NOT max_included(yitv))));
36430         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36431               AND min_included(xitv) AND max_included(yitv))
36432           OR (NOT c_in AND NOT min_included(aitv) AND max_included(aitv)
36433               AND min_included(xitv) AND NOT max_included(yitv))
36434           OR (NOT c_in AND min_included(aitv) AND NOT max_included(aitv)
36435               AND NOT min_included(xitv) AND max_included(yitv))
36436           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36437               AND NOT min_included(xitv) AND NOT max_included(yitv))));
36444         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36446           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36452         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36453               AND max_included(xitv))
36454           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36455               AND NOT max_included(xitv))));
36460         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36461               AND max_included(yitv))
36462           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36463               AND NOT max_included(yitv))));
36468         AND ((c_in AND min_included(aitv) AND max_included(aitv)
36470           OR (NOT c_in AND NOT min_included(aitv) AND NOT max_included(aitv)
36861       RETURN (min_included(sp1) AND max_included(sp2));
36868       RETURN (min_included(sp2) AND max_included(sp1));