|
|
@@ -6,9 +6,7 @@ problema losMasFracasados (j: JJOO, p:Pais) = result:[Atleta]{
|
|
|
|
|
|
asegura noGanaronMedallas: (paraTodo x <- [noGanoMedallas(atl, comp) | atl <- result, comp <- todasLasCompetencias(j), finalizada(comp)]) x;
|
|
|
asegura todosDelPais: (paraTodo x <- result) nacionalidad(x) == p;
|
|
|
- asegura (paraTodo x <- result, y <- atletas(j), nacionalidad(j)==p) competenciasEnLasQueParticipó(j, x) >= competenciasEnLasQueParticipó(j, y);
|
|
|
-
|
|
|
- //asegura enOrden: (paraTodo i <- [0..|result|-2]) competenciasEnLasQueParticipó(j, result[i]) >= competenciasEnLasQueParticipó(j, result[i+1]);
|
|
|
+ asegura (paraTodo x <- result, y <- atletas(j), nacionalidad(y)==p) competenciasEnLasQueParticipó(j, x) >= competenciasEnLasQueParticipó(j, y);
|
|
|
}
|
|
|
|
|
|
aux competenciasEnLasQueParticipó(j: JJOO, a:Atleta) : int =
|
Martu