|
|
@@ -4,9 +4,11 @@ problema losMasFracasados (j: JJOO, p:Pais) = result:[Atleta]{
|
|
|
//ganaron medallas en las competencias acabadas hasta ahora,
|
|
|
//ordenados desde el que en más competencias participó hasta el que que menos.
|
|
|
|
|
|
- asegura noGanaronMedallas: (paraTodo x <- [ganoMedallas(atl, comp) | atl <- result, comp <- todasLasCompetencias(j), finalizada(comp)]) x;
|
|
|
+ asegura noGanaronMedallas: (paraTodo x <- [noGanoMedallas(atl, comp) | atl <- result, comp <- todasLasCompetencias(j), finalizada(comp)]) x;
|
|
|
asegura todosDelPais: (paraTodo x <- result) nacionalidad(x) == p;
|
|
|
- asegura enOrden: (paraTodo i <- [0..|result|-2]) competenciasEnLasQueParticipó(j, result[i]) >= competenciasEnLasQueParticipó(j, result[i+1]);
|
|
|
+ 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]);
|
|
|
}
|
|
|
|
|
|
aux competenciasEnLasQueParticipó(j: JJOO, a:Atleta) : int =
|
Martu