|
@@ -1,6 +1,6 @@
|
|
|
\begin{problema}{crearS}{c: Campo, ds: [Drone]}{Sistema}
|
|
\begin{problema}{crearS}{c: Campo, ds: [Drone]}{Sistema}
|
|
|
\asegura{igualdadCamapo(campo(res),c)}
|
|
\asegura{igualdadCamapo(campo(res),c)}
|
|
|
- \asegura{(\forall d \leftarrow ds)(\exists d' \leftarrow enjambreDrones(d'))id(d)==id(d') \wedge bateria(d')==100 \wedge \neg enVuelo(d') \wedge \newline enRango(dimesiones(campo(res)), prs(posiconActual(d')),snd(posiconActual(d'))) \wedge \newline contenido(campo(res), prs(posiconActual(d')),snd(posiconActual(d')))==Granero}
|
|
|
|
|
|
|
+ \asegura{(\forall d \leftarrow ds)(\exists d' \leftarrow enjambreDrones(s))id(d)==id(d') \wedge bateria(d')==100 \wedge \neg enVuelo(d') \wedge \newline enRango(dimesiones(campo(res)), prs(posiconActual(d')),snd(posiconActual(d'))) \wedge \newline contenido(campo(res), prs(posiconActual(d')),snd(posiconActual(d')))==Granero}
|
|
|
\end{problema}
|
|
\end{problema}
|
|
|
|
|
|
|
|
\begin{problema}{campoS}{s: Sistema}{Campo}
|
|
\begin{problema}{campoS}{s: Sistema}{Campo}
|
