def amiSSAAs[T]()

in app/prism/PrismLogic.scala [82:95]


  def amiSSAAs[T](
      amisWithInstances: List[(T, List[Instance])]
  ): Map[SSAA, List[T]] = {
    val allSSACombos = for {
      (t, instances) <- amisWithInstances
      ssaa <- instanceSSAAs(instances)
    } yield ssaa -> t

    allSSACombos
      .groupBy { case (ssaa, _) => ssaa }
      .map { case (ssaa, ssaaAmis) =>
        ssaa -> ssaaAmis.map { case (_, t) => t }
      }
  }