|
|
@@ -14,9 +14,9 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
|
|
|
|
|
|
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));
|
|
|
- asegura jornadaActual(j)== jordnadaActual(pre(j));
|
|
|
+ asegura mismos(atletas(j), atletas(pre(j)));
|
|
|
+ asegura cantDias(j) == cantDias(pre(j));
|
|
|
+ asegura jornadaActual(j) == jornadaActual(pre(j));
|
|
|
|
|
|
|
|
|
asegura (ParaTodo dia <- [1..cantDias (j)] ) |cronograma(j,dia) | == |cronograma(pre(j), dia)|;
|
|
|
@@ -28,7 +28,7 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
|
|
|
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(pre(j)), x <- participantes(comp), (categoria(comp) == cat && nacionalidad(x) == p)]|;
|
|
|
|
Martu