-- Positive integer variables constraint

allVariables loadPatten = ["onDemand_" ++ p | p <- periods] ++
                          ["reserved_" ++ k ++ "_" ++ p | p <- periods, k <- reservationTypes] ++
                          ["reservation_" ++ k | k <- reservationTypes]

            where periods = Map.keys loadPattern
allVariables loadPatten = ["onDemand_" ++ p | p <- periods] ++
                          ["reserved_" ++ k ++ "_" ++ p | p <- periods, k <- reservationTypes] ++
                          ["reservation_" ++ k | k <- reservationTypes]

            where periods = Map.keys loadPattern
allVariables loadPatten = ["onDemand_" ++ p | p <- periods] ++
                          ["reserved_" ++ k ++ "_" ++ p | p <- periods, k <- reservationTypes] ++
                          ["reservation_" ++ k | k <- reservationTypes]

            where periods = Map.keys loadPattern