problema 31
problema 31
caro el Vie Sep 12, 2008 11:11 am
problema eliminarListaR (i:ListaDeReproduccion,r:Reproductor){
modifica r
asegura(no existe q:ListaDeReproduccion, en (q, listas(r)) mismos (q, l);
asegura (para todo q:ListaDeReproduccion, q!=l, en (q, listas (pre(r))) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura cantRepLista (l,r) =0;
asegura (para todo q:ListaDeReproduccion, q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
asegura (para todo t: Tema, en (t, sgd(archivos(r)))) cantRepTema(t,r) = cantRepTema(t,pre (r));
}
modifica r
asegura(no existe q:ListaDeReproduccion, en (q, listas(r)) mismos (q, l);
asegura (para todo q:ListaDeReproduccion, q!=l, en (q, listas (pre(r))) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura cantRepLista (l,r) =0;
asegura (para todo q:ListaDeReproduccion, q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
asegura (para todo t: Tema, en (t, sgd(archivos(r)))) cantRepTema(t,r) = cantRepTema(t,pre (r));
}
caro- Admin
- Mensajes: 17
Fecha de inscripción: 04/09/2008 
Re: problema 31
mariano!! el Vie Sep 12, 2008 11:44 am
problema eliminarListaR (i:ListaDeReproduccion,r:Reproductor){
modifica r
asegura(no existe q:ListaDeReproduccion, en (q, listas(r)) mismos (q, l);//no tiene sentido esto
asegura (para todo q:ListaDeReproduccion, q!=l, en (q, listas (pre(r))) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura cantRepLista (l,r) =0;
asegura (para todo q:ListaDeReproduccion, q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
asegura (para todo t: Tema, en (t, sgd(archivos(r)))) cantRepTema(t,r) = cantRepTema(t,pre (r));
}
nada tiene mucho sentido aca. estan mal redactados, tenes q poner, selector, condicion, expresion.
modifica r
asegura(no existe q:ListaDeReproduccion, en (q, listas(r)) mismos (q, l);//no tiene sentido esto
asegura (para todo q:ListaDeReproduccion, q!=l, en (q, listas (pre(r))) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura cantRepLista (l,r) =0;
asegura (para todo q:ListaDeReproduccion, q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
asegura (para todo t: Tema, en (t, sgd(archivos(r)))) cantRepTema(t,r) = cantRepTema(t,pre (r));
}
nada tiene mucho sentido aca. estan mal redactados, tenes q poner, selector, condicion, expresion.
mariano!!- Admin
- Mensajes: 31
Fecha de inscripción: 04/09/2008
Edad: 21 -
Re: problema 31
caro el Vie Sep 12, 2008 2:04 pm
problema eliminarListaR (i:ListaDeReproduccion,r:Reproductor){
modifica r
asegura(no existe q<---listas(r)) mismos (q, l);
asegura (para todo q<-- (listas (pre(r)) q!=l) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura cantRepLista (l,r) =0;
asegura (para todo q<---- listas pre (r)), q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
"""asegura (para todo t<---sgd(archivos(r)) cantRepTema(t,r) = cantRepTema(t,pre (r))"""; //aca quiero decir que si saco una lista que incluye a determinado tema y ese tema no esta en ninguna otra lista entonces no deberia reproducir mas al tema..no me sale como decirlo
}
modifica r
asegura(no existe q<---listas(r)) mismos (q, l);
asegura (para todo q<-- (listas (pre(r)) q!=l) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura cantRepLista (l,r) =0;
asegura (para todo q<---- listas pre (r)), q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
"""asegura (para todo t<---sgd(archivos(r)) cantRepTema(t,r) = cantRepTema(t,pre (r))"""; //aca quiero decir que si saco una lista que incluye a determinado tema y ese tema no esta en ninguna otra lista entonces no deberia reproducir mas al tema..no me sale como decirlo
}
caro- Admin
- Mensajes: 17
Fecha de inscripción: 04/09/2008 -
Re: problema 31
mariano!! el Vie Sep 12, 2008 4:47 pm
"""asegura (para todo t<---sgd(archivos(r)) cantRepTema(t,r) = cantRepTema(t,pre (r))"""; //aca quiero decir que si saco una lista que incluye a determinado tema y ese tema no esta en ninguna otra lista entonces no deberia reproducir mas al tema..no me sale como decirlo
esto esta mal, por que si despues llegra a agregar una nueva lista con ese tema, tendria q poder reproducirlo, lo que hay q tener cuidado es que el estado no este reproduciendo esa lista de reproduccion, y en caso de que lo este haciendo, que ponga el estado en stop y luego la elimine.
mariano!!- Admin
- Mensajes: 31
Fecha de inscripción: 04/09/2008
Edad: 21 -
Re: problema 31
Admin el Vie Sep 12, 2008 9:32 pm
problema eliminarListaR (i:ListaDeReproduccion,r:Reproductor){
modifica r
asegura(no existe q<---listas(r)) mismos (q, l);
asegura (para todo q<-- (listas (pre(r)) q!=l) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura (para todo q<---- listas pre (r)), q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
asegura (para todo t<---temas(archivos(r)) cantRepTema(t,r) = cantRepTema(t,pre (r))
}
modifica r
asegura(no existe q<---listas(r)) mismos (q, l);
asegura (para todo q<-- (listas (pre(r)) q!=l) en (q, listas (r));
asegura archivos (pre (r)) == archivos(r);
asegura estado (pre (r)) == estado (r);
asegura (para todo q<---- listas pre (r)), q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r));
asegura (para todo t<---temas(archivos(r)) cantRepTema(t,r) = cantRepTema(t,pre (r))
}
Admin- Admin
- Mensajes: 29
Fecha de inscripción: 04/09/2008 -
Permiso de este foro:
No puedes responder a temas en este foro.