Lines Matching defs:lower
143 combine_dark_factoids i lower upper
443 we just need to check that the maximum of the lower bounds is less
444 than or equal to the minimum of the lower bounds. If it is then
446 false, combining the maximum lower and the minimum upper constraint.
456 fun assign_factoid (df, acc as (upper, lower)) = let
461 NONE => (SOME (fc, d), lower)
462 | SOME (c', d') => if fc < c' then (SOME (fc, d), lower) else acc
464 case lower of
466 | SOME (c', d') => if ~fc > c' then (SOME (~fc,d), lower) else acc
468 val (upper, lower) = dbfold assign_factoid (NONE,NONE) ptree
471 case (upper, lower) of
490 (i.e., with upper or lower bounds only).
565 upper bounds or all of its lower bounds. This function returns
688 fun categorise ((f, _), (acc as (lower, upper))) = let
699 NONE => (lower, SOME c)
700 | SOME c' => if c < c' then (lower, SOME c) else acc
703 | GREATER => let (* lower *)
706 case lower of
711 val (lower, upper) = dbfold categorise (NONE, NONE) ptree
713 val _ = valOf lower <= valOf upper orelse raise Fail "urk in extend map"
715 PIntMap.add i (valOf lower) vmap
749 one in all of its lower-bound or upper-bound occurrences),
756 eliminated into upper and lower bound sets.
759 upper x lower