|
|
@@ -90,8 +90,8 @@
|
|
|
\asegura{incluida(ranking(c),participantes(c))}
|
|
|
\asegura{incluida(LesTocoControlAntiDOpping(c),participantes(c))}
|
|
|
\asegura{mismos(ranking(pre(c)),ranking(c)++listaDopping(c,LesTocoControlAntiDOpping(c)))}
|
|
|
- \asegura{no-leo-nada}
|
|
|
- \aux{listaDopping....}{no}{leo}{nada}
|
|
|
+ \asegura{ranking=ranking(pre(??))-listaDopping(c,LesTocoControlAntiDOpping(c))}
|
|
|
+ \aux{listaDopping}{c:competencia, a:[atleta]}{[atleta]}{[x|x \leftarrow a, DioPositivo(c,x)]}
|
|
|
|
|
|
\end{problema}
|
|
|
|
