ejercicio 23
ejercicio 23
Admin el Vie Sep 12, 2008 9:57 pm
invariante elTemaActualEsUnTema
prm(estado(r))>= 1 y prm(estado(r))<= | [t<-- temas(archivos(r)), en (sgd (estado(r)), etiquetas(t))] |
decidimos que la componente entera del estado de r no fuera cero porque,segun el ejercicio 26, si este valor es cero, el reproductor esta detenido y por lo tanto no tendria sentido definir un tema actual que se este reproduciendo
prm(estado(r))>= 1 y prm(estado(r))<= | [t<-- temas(archivos(r)), en (sgd (estado(r)), etiquetas(t))] |
decidimos que la componente entera del estado de r no fuera cero porque,segun el ejercicio 26, si este valor es cero, el reproductor esta detenido y por lo tanto no tendria sentido definir un tema actual que se este reproduciendo
Admin- Admin
- Mensajes: 29
Fecha de inscripción: 04/09/2008 
Permiso de este foro:
No puedes responder a temas en este foro.