Compiler to create scheduling scripts: Compiler.oz

Source File

%%% 
%%% The compiler is taken from the document:
%%%   Christian Schulte, Gert Smolka, Finite Domain Constraint
%%%   Programming in Oz. A Tutorial.
%%% 
 
functor 
 
import 
   FD
   Schedule
 
export 
   Compile
    
define 
 
   local 
      fun {GetDur TaskSpec}
         {List.toRecord dur {Map TaskSpec fun {$ T}
                                             {Label T}#T.dur
                                          end}}
      end 
       
      fun {GetStart TaskSpec}
         MaxTime = {FoldL TaskSpec fun {$ Time T}  
                                      Time+T.dur
                                   end 0}
         Tasks   = {Map TaskSpec Label}
      in 
         {FD.record start Tasks 0#MaxTime}
      end 
       
      fun {GetTasksOnResource TaskSpec}
         D={Dictionary.new}
      in 
         {ForAll TaskSpec  
          proc {$ T}
             if {HasFeature T res} then R=T.res in 
                {Dictionary.put D R {Label T}|{Dictionary.condGet D R nil}}
             end 
          end}
         {Dictionary.toRecord tor D}
      end 
       
   in 
 
      fun {Compile TaskSpec}
         Dur         = {GetDur TaskSpec}
         TasksOnRes  = {GetTasksOnResource TaskSpec}
      in 
         proc {$ Start}
            Start = {GetStart TaskSpec}
            {ForAll TaskSpec
             proc {$ T}
                {ForAll {CondSelect T pre nil}
                 proc {$ P}
                    Start.P + Dur.P =<: Start.{Label T}
                 end}
             end}
            {Schedule.serialized      TasksOnRes Start Dur}
            {Schedule.firstsLastsDist TasksOnRes Start Dur}
            choice skip end 
            {Record.forAll Start proc {$ S}  
                                    S={FD.reflect.min S}  
                                 end}
         end 
      end  
   end 
end