Jordi

textoPlano/punto 9

@@ -12,7 +12,7 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 
 	modifica j;
 
-	asegura finalizada ( competenciaFiltrada(j,cat) ) == finalizada ( competenciaFiltrada(pre(j),cat) );
+	asegura finalizada ( competenciaFiltrada(j,cat) ) == finalizada (competenciaFiltrada(pre(j),cat));
 	asegura año(j) == año(pre(j));
 	asegura atletas(j) == atletas(pre(j));
 	asegura cantDIas(j) == cantDias(pre(j));
@@ -23,14 +23,14 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 
 	asegura (ParaTodo dia <- [1..cantDias(j)])
 		(ParaTodo x <- [1..(long(cronograma(j,dia))-1)])
-		((cronograma (j,dia)[x] == cronograma (pre(j),dia) [x]) O ( categoria(cronograma(j,dia)[x]) == (categoria(cronograma(pre(j),dia)[x]) ) Y (categoria(cronograma(j,dia)[x]) == cat )))
+		((cronograma (j,dia)[x] == cronograma (pre(j),dia) [x]) || ( categoria(cronograma(j,dia)[x]) == (categoria(cronograma(pre(j),dia)[x])) && (categoria(cronograma(j,dia)[x]) == cat )))
 
 	asegura (ParaToda comp <- todasLasCompetencias(j), categoria(comp) == cat)
 		(ParaTodo atl <- participantes(comp)) nacionalidad (atl) != p;
 
-	asegura mismos (participantes(competenciaFiltrada(j,cat)), [x| x <-participantes(competenciaFiltrada(pre(j),cat)), nacionalidad(x) != p])
+	asegura mismos (participantes(competenciaFiltrada(j,cat)), [x| x <- participantes(competenciaFiltrada(pre(j),cat)), nacionalidad(x) != p])
 
-	asegura res == | [x | comp <- todasLasCompetencias(j), x <- participantes(comp), categoria(comp) == cat,nacionalidad(x) == p ] |;
+	asegura res == |[x | comp <- todasLasCompetencias(pre(j)), x <- participantes(comp), (categoria(comp) == cat && nacionalidad(x) == p)]|;
 
 	/*
 	+---------------------+