Rev 7210 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 7210 | Rev 16321 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | !set |
1 | !set methtit=Borrar suposiciones innecesarias |
2 | !set methparmtype=special |
2 | !set methparmtype=special |
3 | !set methparmrelax=1 |
3 | !set methparmrelax=1 |
4 | !set stepnocount=yes |
4 | !set stepnocount=yes |
5 | !set |
5 | !set methhelp=Puede utilizar este método para eliminar suposiciones\ |
6 |
|
6 | innecesarias, con el fin de aclarar la situación. ¡Pero <b>cuidado</b>! ¡Si\ |
7 |
|
7 | elimina una hipótesis esencial, no podrá tener éxito!\ |
8 | <p>\ |
8 | <p>\ |
9 |
|
9 | Puedes aplicar este método tantas veces como quieras sin ser\ |
10 |
|
10 | penalizado en tu puntuación, ya que no avanza el contador de pasos de\ |
- | 11 | la puntuación.\ |
|
11 |
|
12 | </p> |
12 | !set N_=!linecnt $m_context |
13 | !set N_=!linecnt $m_context |
13 | 14 | ||
14 | !if $wims_read_parm iswordof form check |
15 | !if $wims_read_parm iswordof form check |
15 | !goto $wims_read_parm |
16 | !goto $wims_read_parm |
16 | !endif |
17 | !endif |
17 | 18 | ||
18 | !if $N_<1 |
19 | !if $N_<1 |
19 | !set |
20 | !set error1=¡No hay más suposiciones en el estado actual! |
20 | !endif |
21 | !endif |
21 | 22 | ||
22 | !exit |
23 | !exit |
23 | :form |
24 | :form |
24 |
|
25 | $methhelp |
25 |
|
26 | <p> |
26 |
|
27 | Aquí están las suposiciones actuales. Marca las que quieras eliminar. |
27 |
|
28 | </p><ul> |
28 |
|
29 | !for i=1 to $N_ |
29 | !set l=!line $i of $m_context |
30 | !set l=!line $i of $m_context |
30 | <li> <input type="checkbox" name="methparm1" value="$i" /> \($l) </li> |
31 | <li> <input type="checkbox" name="methparm1" value="$i" /> \($l) </li> |
31 |
|
32 | !next i |
32 | </ul> |
33 | </ul> |
33 | !exit |
34 | !exit |
34 | :check |
35 | :check |
35 |
|
36 | !reset newobject,oldobject |
36 |
|
37 | n_=!itemcnt $methparm1 |
37 |
|
38 | !if $n_=0 |
38 |
|
39 | methexp=Paso vacío |
39 | !exit |
40 | !exit |
40 |
|
41 | !endif |
41 |
|
42 | nc= |
42 |
|
43 | !for i=1 to $N_ |
43 | !if $i notitemof $methparm1 |
44 | !if $i notitemof $methparm1 |
44 | l=!line $i of $m_context |
45 | l=!line $i of $m_context |
45 | nc=!append line $l to $nc |
46 | nc=!append line $l to $nc |
46 | !endif |
47 | !endif |
47 |
|
48 | !next i |
48 |
|
49 | m_context=$nc |
49 |
|
50 | !read deduc/objects.combine |
50 |
|
51 | methexp=Borrar $n_ suposiciones |
51 | - | ||
52 | !exit |
- | |
53 | 52 | ||
- | 53 | !exit |