|
|
@@ -99,7 +99,7 @@
|
|
|
\modifica{c}
|
|
|
\asegura{finalizada(c)}
|
|
|
\asegura{categoria(c)==categoria(pre(c))}
|
|
|
- \asegura{participantes(c)==participantes(pre(c))}
|
|
|
+ \asegura{mismos(participantes(c),participantes(pre(c)))}
|
|
|
\asegura{incluida(ranking(c),participantes(c))}
|
|
|
\asegura{incluida(LesTocoControlAntiDoping(c),participantes(c))}
|
|
|
\asegura{mismos(ranking(pre(c)),ranking(c)++listaDoping(c,LesTocoControlAntiDoping(c)))}
|
|
|
@@ -113,7 +113,7 @@
|
|
|
\input{tipos/jjoo.tex}
|
|
|
|
|
|
\begin{problema}{dePaseo}{j: JJOO}{[Atleta]}
|
|
|
- \asegura{res==noParticiparon(j)}
|
|
|
+ \asegura{mismos(res,noParticiparon(j))}
|
|
|
\aux{noParticiparon}{j: JJOO}{[Atleta]}{[x | x \leftarrow atletas(j), \neg en(x, participaronConRepes(j))]}
|
|
|
\aux{participaronConRepes}{j: JJOO}{[Atleta]}{[atl | dia \leftarrow [1..cantDias(j)], comp \leftarrow cronograma(j, dia), atl \leftarrow atletas(j), en(atl, participantes(comp))]}
|
|
|
|
