problema 16

se me ocurre hacerlo asi:

pasa que la verdad qu eno entiendo mucho lo que dice el otro.. yy el corrector puede pensar lo mismo.. ademas como se parece al ejercicio anterior que hice recien me parce que asi es mas claro.

problema eliminarTemasSA (n: Nombre, l: [etiqueta], s:SA) {
requiere (existe t ¬ temas(pre (s)) ) nombre(t) ==n y mismos (l , etiquetas (t));
modifica s;
asegura
mismos (temas(pre(s)), temas(s) ++[t <-- temas (pre(S)), nombre (t) ==n y mismos (l , etiquetas (t))]
esto es claro, no? digo que en el anterior estan los del nuevo mas los que saque .. entonces wl nuevo es los que estaban menos los que saco



ahora se complica

asegura mismos (etiquetas(pre(S)), etiquetas(S)++
[e<-- l , ¬ (exista (t <--temas(pre(S)), en (e, etiquetas(t)) y exista t'<--temas(pre(S)) t'!=t , en (e, etiquetas(t')])

las etiquetas de la lista son las mismas menos(de la misma manera qu een el asegura anterior) aquellas para las cuales no existan dos temas distintos qu elas contengan. es decir las qu estaban en un tema solo. como al principio pido sacar esas
etiquetas de l... entonces me estoy refiriendo a las que saque del tema que saqué.


de todas maneras me parece que es mas claro asi. por lo menos es mas corto.