|
|
@@ -3,13 +3,14 @@
|
|
|
\requiere{0 \leq prm(posG) \wedge 0 \leq sgd(posG) \wedge 0 \leq prm(posC) \wedge 0 \leq sgd(posC)}
|
|
|
\asegura{contenido(result, prm(posG), sgd(posG))==Granero}
|
|
|
\asegura{contenido(result, prm(posC), sgd(posC))==Casa}
|
|
|
+ \asegura{prm(dimensiones(result))*sgd(dimensiones(result)) > 2 }
|
|
|
\end{problema}
|
|
|
|
|
|
-\begin{problema}{dimensionesC}{c: Campo}{(Ancho, Largo))}
|
|
|
- \asegura{res==dimenciones(c)}
|
|
|
+\begin{problema}{dimensionesC}{c: Campo}{(Ancho, Largo)}
|
|
|
+ \asegura{res==dimensiones(c)}
|
|
|
\end{problema}
|
|
|
|
|
|
\begin{problema}{contenidoC}{c: Campo, i, j: \ent}{Parcela}
|
|
|
- \requiere{0 \leq i \lneq prm(dimenciones(c)) \wedge 0 \leq j \lneq sgd(dimenciones(c))}
|
|
|
+ \requiere{0 \leq i < prm(dimensiones(c)) \wedge 0 \leq j < sgd(dimensiones(c))}
|
|
|
\asegura {result==contenido(c,i,j)}
|
|
|
\end{problema}
|
