asdasd

textoPlano/punto 9

@@ -28,10 +28,20 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 	asegura (ParaToda comp <- todasLasCompetencias(j), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)))
 		(ParaTodo atl <- participantes(comp)) nacionalidad (atl) != p;
 
+	*
+	+---------------------+
+	| v AUXILIAR GLOBAL v |
+	+---------------------+
+	*/
 	aegura mismos ( competenciaFiltrada(j,cat), [x| x <-participantes(competenciaFiltrada( pre(j),cat)), nacionalidad(x) != p] )
 
 	asegura res == | [x | c <- todasLasCompetencias(j), x <- participantes(c), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)),nacionalidad(x) == p ] |;
 
+	/*
+	+---------------------+
+	| v AUXILIAR GLOBAL v |
+	+---------------------+
+	*/
 	aux todasLasCompetencias (j:JJOO) : [competencia] = [x | y <- [1..cantDIas(j)], x <- cronogramas(j,y) ] ;
 
 	aux competenciaFiltrada ( j:JJOO, c:(deporte,sexo) ) : competencia = cab( [x | x <- todasLasCompetencias(j), c== categoria(x) ] )