FD.impl

declare

proc{Ensayo1 Escenas}
   {Tuple.make solucion 3 Escenas}
   OrdenEscenas={FD.tuple ordenEscenas 4 1#4}
   TurnoEscenas={FD.tuple turnoEscenas 4 1#4}
   Tabla = {Tuple.make tabla 4}

   {For 1 4 1 proc{$ P} Tabla.P={FD.tuple {VirtualString.toAtom "actor"#P} 4 0#1} end}
in
   Escenas.1=OrdenEscenas
   Escenas.2=TurnoEscenas
   Escenas.3=Tabla
   {FD.distinct OrdenEscenas}
   {FD.distinct TurnoEscenas}

   {For 1 4 1
    proc{$I}
       {For 1 4 1
        proc{$ J}
           {FD.impl {FD.reified.int J OrdenEscenas.I} {FD.reified.int I TurnoEscenas.J} Tabla.I.J}
        end}
    end}

   {For 1 4 1 proc{$ I} {FD.distribute ff Tabla.I} end}
   {FD.distribute split Escenas.2}

end

{ExploreOne Ensayo1}