|
|
@@ -25,7 +25,8 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
|
|
|
(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 )))
|
|
|
|
|
|
- asegura ( ParaToda comp <- todasLasCompetencias(j), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)) )(ParaTodo atl <- participantes(comp)) nacionalidad (atl) != p;
|
|
|
+ asegura (ParaToda comp <- todasLasCompetencias(j), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)))
|
|
|
+ (ParaTodo atl <- participantes(comp)) nacionalidad (atl) != p;
|
|
|
|
|
|
aegura mismos ( competenciaFiltrada(j,cat), [x| x <-participantes(competenciaFiltrada( pre(j),cat)), nacionalidad(x) != p] )
|
|
|
|
Martu