Jorge
07 de Enero del 2005

Tengo que hacer una pr谩ctica para la universidad de un programilla bastante f谩cil pero es que no entiendo el enunciado muy bien:

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.

Y esa plantilla es esta:
-- Definici贸n de tipos

type TipoFecha = (Int,Int,Int)
type TipoIntervaloFechas = (TipoFecha,TipoFecha)
type TipoIntervalos = [TipoIntervaloFechas]

----------------------------------------------------------

fEsAnterior :: (TipoFecha, TipoFecha) -> Bool
-----C贸digo de la soluci贸n

fPertenece :: (TipoFecha, TipoIntervaloFechas) -> Bool
-----C贸digo de la soluci贸n

fEstanSolapados :: (TipoIntervaloFechas, TipoIntervaloFechas) -> Bool
-----C贸digo de la soluci贸n

fNoSolapados :: (TipoIntervalos,TipoIntervaloFechas) -> TipoIntervalos
-----C贸digo de la soluci贸n