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)}
	\requiere{alcanzablesEn100(posG,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==dimensiones(c)}
\end{problema}

\begin{problema}{contenidoC}{c: Campo, i, j: \ent}{Parcela}
	\requiere{0 \leq i < prm(dimensiones(c)) \wedge    0 \leq j < sgd(dimensiones(c))}
	\asegura {result==contenido(c,i,j)}
\end{problema}