|
|
@@ -1,7 +1,7 @@
|
|
|
12.
|
|
|
problema stevenBradbury (j: JJOO) = result : Atleta {
|
|
|
//Requiere que al menos una competencia ya haya finalizado (y, por lo tanto, se haya entregado un oro)
|
|
|
- requiere algunOro: long([comp | comp <- todasLasCompetencias(j), finalizada(comp)])>0;
|
|
|
+ requiere algunOro: long([comp | comp <- todasLasCompetencias(j), finalizada(comp)&&|ranking(comp)>0|])>0;
|
|
|
|
|
|
//Asegura que result haya ganado un oro
|
|
|
asegura ganoOro: existe(f <- [ranking(comp)[0] | comp <- todasLasCompetencias(j), finalizada(comp)]) ciaNumber(result)==ciaNumber(f);
|
Martu