Subversion Repositories wimsdev

!set methtit=Borrar suposiciones innecesarias

!set methparmtype=special

!set methparmrelax=1

!set stepnocount=yes

!set methhelp=Puede utilizar este método para eliminar suposiciones\

 innecesarias, con el fin de aclarar la situación. ¡Pero <b>cuidado</b>! ¡Si\

 elimina una hipótesis esencial, no podrá tener éxito!\

  <p>\

  Puedes aplicar este método tantas veces como quieras sin ser\

  penalizado en tu puntuación, ya que no avanza el contador de pasos de\

  la puntuación.\

  </p>

!set N_=!linecnt $m_context

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!if $N_<1

  !set error1=¡No hay más suposiciones en el estado actual!

!endif

!exit

:form

$methhelp

<p>

Aquí están las suposiciones actuales. Marca las que quieras eliminar.

</p><ul>

!for i=1 to $N_

  !set l=!line $i of $m_context

  <li> <input type="checkbox" name="methparm1" value="$i"> \($l) </li>

!next i

 </ul>

!exit

:check

!reset newobject,oldobject

n_=!itemcnt $methparm1

!if $n_=0

  methexp=Paso vacío

  !exit

!endif

nc=

!for i=1 to $N_

  !if $i notitemof $methparm1

    l=!line $i of $m_context

    nc=!append line $l to $nc

  !endif

!next i

m_context=$nc

!read deduc/objects.combine

methexp=Borrar $n_ suposiciones

!exit