% $Id: VideoTimes.oz,v 1.3 2008/12/05 05:11:36 leavens Exp leavens $ declare Hours = 60 % Minutes in an hour proc {GenTimes MinutesSP ?Sol} choice Sol = time(ep: 6*Hours - 3*MinutesSP sp: MinutesSP) [] (MinutesSP < 120) = true {GenTimes MinutesSP+1 Sol} end end proc {VideoTimes Min ?Sol} (2*Hours =< Min) = true % first precondition (Min =< 6*Hours) = true % second precondition {GenTimes 0 Sol} % Generate (Sol.sp + Sol.ep) = Min % Test end