Algo1_TP1/espec/campo.tex

\begin{problema}{crearC}{posG, posC: (\ent, \ent)}{Campo}
	\requiere{posG \neq posC}
	\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} 
\end{problema}

\begin{problema}{dimensionesC}{c: Campo}{(Ancho, Largo))}
	\asegura{res==dimenciones(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))}
	\asegura {result==contenido(c,i,j)}
\end{problema}