|
|
@@ -73,7 +73,7 @@
|
|
|
\asegura{finalizada(c)}
|
|
|
\asegura{ranking(c)==posiciones}
|
|
|
\asegura{participantes(c)==participantes(pre(c))}
|
|
|
- \asegura{LesTocoControlAntiDopping(c)== [prm(x) | x \leftarrow control]}
|
|
|
+ \asegura{LesTocoControlAntiDoping(c)== [prm(x) | x \leftarrow control]}
|
|
|
\asegura{(\forall x \leftarrow control) leDioPositivo(prm(x))==sgn(x)}
|
|
|
\asegura{categoria(c)==categoria(pre(c))}
|
|
|
\end{problema}
|
|
|
@@ -100,10 +100,10 @@
|
|
|
\asegura{categoria(c)==categoria(pre(c))}
|
|
|
\asegura{participantes(c)==participantes(pre(c))}
|
|
|
\asegura{incluida(ranking(c),participantes(c))}
|
|
|
- \asegura{incluida(LesTocoControlAntiDopping(c),participantes(c))}
|
|
|
- \asegura{mismos(ranking(pre(c)),ranking(c)++listaDopping(c,LesTocoControlAntiDopping(c)))}
|
|
|
- \asegura{ranking==ranking(pre(c))-listaDopping(c,LesTocoControlAntiDopping(c))}
|
|
|
- \aux{listaDopping}{c:competencia, a:[atleta]}{[atleta]}{[x|x \leftarrow a, leDioPositivo(c,x)]}
|
|
|
+ \asegura{incluida(LesTocoControlAntiDoping(c),participantes(c))}
|
|
|
+ \asegura{mismos(ranking(pre(c)),ranking(c)++listaDoping(c,LesTocoControlAntiDoping(c)))}
|
|
|
+ \asegura{ranking==ranking(pre(c))-listaDoping(c,LesTocoControlAntiDoping(c))}
|
|
|
+ \aux{listaDoping}{c:competencia, a:[atleta]}{[atleta]}{[x|x \leftarrow a, leDioPositivo(c,x)]}
|
|
|
|
|
|
\end{problema}
|
|
|
|
