Ayuda por favor!!
Publicado por Jorge (3 intervenciones) el 07/01/2005 19:24:43
Con este enunciado:
Dada la especificación de los siguientes dominios:
Fecha = Tupla (|N+,|N+,|N+)
IntervaloFechas = Tupla (Fecha,Fecha)
Intervalos = Colección (IntervaloFechas)
y dada la especificación de la siguiente función:
FUNCIÓN NoSolapados (colI : Intervalos;
i : IntervaloFechas) --> Intervalos
PRE: Se cumple el INV (IntervaloFechas) para "i" y todos los intervalos de "colI".
Se cumple INV (Fecha) para todas las fechas, tanto de "i"
como de todos los intervalos de "colI".
POST: resultado es la colección de todos los intervalos de "colI" que no se solapan con "i".
Se entiende que dos intervalos de fechas no se solapan si no tienen ninguna fecha común.
Se pide, redactar en Ada la función "NoSolapados" junto con las funciones auxiliares:
"EsAnterior", "Pertenece", y "EstanSolapados". Dichas funciones hay que resolverlas en el archivo
"Prac11.hs" que sirve de plantilla.
Dada la especificación de los siguientes dominios:
Fecha = Tupla (|N+,|N+,|N+)
IntervaloFechas = Tupla (Fecha,Fecha)
Intervalos = Colección (IntervaloFechas)
y dada la especificación de la siguiente función:
FUNCIÓN NoSolapados (colI : Intervalos;
i : IntervaloFechas) --> Intervalos
PRE: Se cumple el INV (IntervaloFechas) para "i" y todos los intervalos de "colI".
Se cumple INV (Fecha) para todas las fechas, tanto de "i"
como de todos los intervalos de "colI".
POST: resultado es la colección de todos los intervalos de "colI" que no se solapan con "i".
Se entiende que dos intervalos de fechas no se solapan si no tienen ninguna fecha común.
Se pide, redactar en Ada la función "NoSolapados" junto con las funciones auxiliares:
"EsAnterior", "Pertenece", y "EstanSolapados". Dichas funciones hay que resolverlas en el archivo
"Prac11.hs" que sirve de plantilla.
Valora esta pregunta
0