#!/usr/bin/bash

output_folder="./wetfloor"
generator=`realpath ./generate_wetfloor`

nStates=(500000)
nRooms=(1 2 3 4 5 6 7 8 9 10)
function main {
  # Compile the generator
  make clean > /dev/null
  make > /dev/null

  # Generate the wetfloor domains
  for s in ${nStates[*]}; do
    for r in ${nRooms[*]}; do
      output_name="$r.mdp"
      states_per_room=$(( $s / $r ))
      side_float=`echo $states_per_room | awk '{print sqrt($0)}'`
      side_int=`LC_NUMERIC="en_US.UTF-8" printf "%.0f" $side_float`

      echo "Generating WetFloor MDP for nRooms = $r and nStates = $s"
      $generator $side_int $r > "./wetfloor/$output_name"
    done
  done
  cd > /dev/null
}

main "$@"
