|
@@ -82,6 +82,17 @@
|
|
|
\end{problema}
|
|
\end{problema}
|
|
|
|
|
|
|
|
\begin{problema}{sancionarTramposos}{c: Competencia}{}
|
|
\begin{problema}{sancionarTramposos}{c: Competencia}{}
|
|
|
|
|
+ \requiere{finalizada(c)}
|
|
|
|
|
+ \modifica(c)
|
|
|
|
|
+ \asegura{finalizada(c)}
|
|
|
|
|
+ \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{no-leo-nada}
|
|
|
|
|
+ \aux{listaDopping....}{no}{leo}{nada}
|
|
|
|
|
+
|
|
|
\end{problema}
|
|
\end{problema}
|
|
|
|
|
|
|
|
\section{JJOO}
|
|
\section{JJOO}
|
