|
|
@@ -47,7 +47,7 @@
|
|
|
\modifica{a}
|
|
|
\asegura{nombre(a)==nombre(pre(a))}
|
|
|
\asegura{sexo(a) == sexo(pre(a))}
|
|
|
- \asegura{añoNacimiento(a)==añoNacimiento(pre(a))}
|
|
|
+ \asegura{anoNacimiento(a)==anoNacimiento(pre(a))}
|
|
|
\asegura{nacionalidad(a)==nacionalidad(pre(a))}
|
|
|
\asegura{ciaNumber(a)==ciaNumber(pre(a))}
|
|
|
\asegura{(\forall d' \leftarrow deportes(pre(a)))capacidad(a,d')==capacidad(pre(a),d')}
|
|
|
@@ -69,11 +69,12 @@
|
|
|
\requiere{contenida(posiciones,participantes(c))}
|
|
|
\requiere{sinRepetidos(posiciones)}
|
|
|
\requiere{(\forall x \leftarrow control) prm(x) \in participantes(c)}
|
|
|
+ \requiere{sinRepetidos([prm(x) | x \leftarrow control])}
|
|
|
\modifica{c}
|
|
|
\asegura{finalizada(c)}
|
|
|
\asegura{ranking(c)==posiciones}
|
|
|
\asegura{participantes(c)==participantes(pre(c))}
|
|
|
- \asegura{LesTocoControlAntiDoping(c)== [prm(x) | x \leftarrow control]}
|
|
|
+ \asegura{mismos(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}
|
|
|
@@ -102,7 +103,8 @@
|
|
|
\asegura{incluida(ranking(c),participantes(c))}
|
|
|
\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))}
|
|
|
+ \asegura{ranking==[ el | el \leftarrow ranking(pre(c)),el \notin listaDoping(c,LesTocoControlAntiDoping(c))]}
|
|
|
+
|
|
|
\aux{listaDoping}{c:competencia, a:[atleta]}{[atleta]}{[x|x \leftarrow a, leDioPositivo(c,x)]}
|
|
|
|
|
|
\end{problema}
|
