Можно ли "вывести" на карту?
Я пробовал
val rndTrans = for (s1 <- 0 to nStates;
s2 <- 0 to nStates
if rnd.nextDouble() < trans_probability)
yield (s1 -> s2);
(и ,
вместо ->
), но я получаю ошибку
TestCaseGenerator.scala:42: error: type mismatch;
found : Seq.Projection[(Int, Int)]
required: Map[State,State]
new LTS(rndTrans, rndLabeling)
Я понимаю, почему, но я не вижу, как это решить: -/