소스 검색

Return of Jordi

Martu 10 년 전
부모
커밋
3955cbc332
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      textoPlano/punto 10

+ 1 - 1
textoPlano/punto 10

@@ -12,4 +12,4 @@ problema losMasFracasados (j: JJOO, p:Pais) = result:[Atleta]{
 aux competenciasEnLasQueParticipó(j: JJOO, a:Atleta) : int =
 	long([z | z<- todasLasCompetencias(j), en(a, participantes(z))]);
 
-aux ganoMedallas(atl: Atleta, comp: Competencia) : Bool = (ciaNumber(ranking(comp)[0]) != ciaNumber(atl) && ciaNumber(ranking(comp)[1]) != ciaNumber(atl) && ciaNumber(ranking(comp)[2]) != ciaNumber(atl));
+aux noGanoMedallas(atl: Atleta, comp: Competencia) : Bool = (ciaNumber(ranking(comp)[0]) != ciaNumber(atl) && ciaNumber(ranking(comp)[1]) != ciaNumber(atl) && ciaNumber(ranking(comp)[2]) != ciaNumber(atl));