Subversion Repositories wimsdev

!set methtit=Effacer des hypothèses inutiles

!set methparmtype=special

!set methparmrelax=1

!set stepnocount=yes

!set methhelp=Vous pouvez utiliser cette méthode pour enlever les hypothèses\

 inutiles, afin de clarifier la situation. Mais <b>attention</b> ! Si vous\

 enlevez une hypothèse indispensable, vous ne pourrez plus aboutir !\

 <p>\

 Vous pouvez appliquer cette méthode autant de fois que vous voulez sans être\

 pénalisé dans votre score, car elle n'avance pas le compteur d'étape pour le\

 score.\

 </p>

!set N_=!linecnt $m_context

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!if $N_<1

  !set error1=Il n'y a plus d'hypothèse dans l'état actuel !

!endif

!exit

:form

$methhelp

<p>

Voici les hypothèses actuelles. Marquez celles que vous voulez enlever.

</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=Etape vide

  !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=Effacer $n_ hypothèses

!exit