#ifndef MEDICO_H
#define MEDICO_H

#include <iostream>
#include <string>
#include "mLista.h"
#include "aLista.h"

using namespace std;

class medico
{
    private:
        string nombre;
        string apellido;
        int nColeg;
        int nTfno;
        aLista aseg;
    public:
//  generador libre
//      medico:                 -> [medico]
            medico();

//  generador
//      medico: string, nat     -> [medico]
//  ecuaciones
//      medico(s,n) = ponNCol(ponApellido(medico(),s),n)
        medico(string nom, int nColeg);

//  generador libre
//      ponApellido:    [medico], string    -> [medico]
        void    ponApellido (string n);

//  generador libre
//      ponNCol:    [medico], nat   -> [medico]
        void    ponNCol (nat nCol);

//  generador libre
//      ponNombre:  [medico], string    -> [medico]
        void ponNombre (string n);

//  generador libre
//      ponTfno:    [medico], int   -> [medico]
        void ponTfno (int n);

//  generador libre
//      ponLAseg:   [medico], olista    -> [medico]
        void ponLAseg (mLista o);

//  generador libre
//      ponAseg:    [medico], asegurado -> [medico]
//      ponAseg (ponAseg(m,b),a) = ponAseg(m,b) <= a == b
//      ponAseg (ponAseg(m,b),a) = ponAseg(ponAseg(m,a),b)
        void ponAseg (asegurado a);

//  generador
//      borrarAseg: [medico], asegurado -> [medico]
//  ecuaciones
//      borrarAseg (medico(),a) = cero() (excepción)
//      borrarAseg (ponApellido(m,s),a) = borrarAseg (m,a)
//      borrarAseg (ponNombre(m,s),a) = borrarAseg (m,a)
//      borrarAseg (ponNCol(m,n),a) = borrarAseg (m,a)
//      borrarAseg (ponTfno(m,n),a) = borrarAseg (m,a)
//      borrarAseg (ponLAseg(m,o),a) = borrarAseg (m,a)
//      borrarAseg (ponAseg(m,b),a) = m <= a == b
        int borrarAseg (asegurado a);

//  generador
//      “=”:    [medico]        ->  medico
//  ecuaciones
//      “=”(m,k) = ponNCol(ponApellido(
//              ponNombre(ponTfono(
//              ponLAseg(m,darLAseg(k)),
//              darTfono(k)),darNombre(k)),
//              darApellido(k)),darNCol(k))
        medico& operator= (const medico &);

//  observadora
//      darApellido:    [medico]        -> string
//  ecuaciones
//      darApellido (medico()) = string() (excepción)
//      darApellido (ponApellido(m,s)) = s
//      darApellido (ponNombre(m,s)) = darApellido (m)
//      darApellido (ponNCol(m,n)) = darApellido (m)
//      darApellido (ponTfno(m,n)) = darApellido (m)
//      darApellido (ponLAseg(m,o)) = darApellido (m)
//      darApellido (ponAseg(m,a)) = darApellido (m)
        string  darApellido ();

//  observadora
//      darNombre:  [medico]        -> string
//  ecuaciones
//      darNombre (medico()) = string() (excepción)
//      darNombre (ponApellido(m,s)) = darNombre (m)
//      darNombre (ponNombre(m,s)) = s
//      darNombre (ponNCol(m,n)) = darNombre (m)
//      darNombre (ponTfno(m,n)) = darNombre (m)
//      darNombre (ponLAseg(m,o)) = darNombre (m)
//      darNombre (ponAseg(m,a)) = darNombre (m)
        string  darNombre ();

//  observadora
//      darNCol:    [medico]        -> int
//  ecuaciones
//      darNCol (medico()) = string() (excepción)
//      darNCol (ponApellido(m,s)) = darNCol (m)
//      darNCol (ponNombre(m,s)) = darNCol (m)
//      darNCol (ponNCol(m,n)) = n
//      darNCol (ponTfno(m,n)) = darNCol (m)
//      darNCol (ponLAseg(m,o)) = darNCol (m)
//      darNCol (ponAseg(m,a)) = darNCol (m)
        int darNCol ();

//  observadora
//      darTfno:    [medico]        -> int
//  ecuaciones
//      darTfno (medico()) = string() (excepción)
//      darTfno (ponApellido(m,s)) = darTfno (m)
//      darTfno (ponNombre(m,s)) = darTfno (m)
//      darTfno (ponNCol(m,n)) = darTfno (m)
//      darTfno (ponTfno(m,n)) = n
//      darTfno (ponLAseg(m,o)) = darTfno (m)
//      darTfno (ponAseg(m,a)) = darTfno (m)
        int darTfno ();

//  observadora
//      darLAseg:   [medico]        -> olista
//  ecuaciones
//      darLAseg (medico()) = olista() (excepción)
//      darLAseg (ponApellido(m,s)) = darLAseg (m)
//      darLAseg (ponNombre(m,s)) = darLAseg (m)
//      darLAseg (ponNCol(m,n)) = darLAseg (m)
//      darLAseg (ponTfno(m,n)) = darLAseg (m)
//      darLAseg (ponLAseg(m,o)) = o
//      darLAseg (ponAseg(m,a)) = anadir(darLAseg(m),a)
        aLista  darLAseg ();

//  generador
//      tieneAseg:  [medico], asegurado -> bool
//  ecuaciones
//      ecuaciones
//      tieneAseg (medico(),a) = false() (excepción)
//      tieneAseg (ponApellido(m,s),a) = tieneAseg (m,a)
//      tieneAseg (ponNombre(m,s),a) = tieneAseg (m,a)
//      tieneAseg (ponNCol(m,n),a) = tieneAseg (m,a)
//      tieneAseg (ponTfno(m,n),a) = tieneAseg (m,a)
//      tieneAseg (ponLAseg(m,o),a) = esta (o,a)
//      tieneAseg (ponAseg(m,b),a) = true() <= a == b
//      tieneAseg (ponAseg(m,b),a) =
//                  tieneAseg (m,a) <= no a == b
        bool    tieneAseg (asegurado a);

//  observadora
//      asegurados: [medico]        -> int
//  ecuaciones
//      asegurados (medico()) = cero() (excepción)
//      asegurados (ponApellido(m,s)) = asegurados (m)
//      asegurados (ponNombre(m,s)) = asegurados (m)
//      asegurados (ponNCol(m,n)) = asegurados (m)
//      asegurados (ponTfno(m,n)) = asegurados (m)
//      asegurados (ponLAseg(m,o)) = nelems (o)
//      asegurados (ponAseg(m,n)) = suc(asegurados(m))
        int asegurados ();

//  observadora
//      “==”:   [medico], medico    -> bool
//  ecuaciones
//      “==”(a,b) = “==”(darNCol(a),darNCol(b))
        bool operator== (const medico &);

//  observadora
//      “>”:    [medico], medico    -> bool
//  ecuaciones
//      “>”(a,b) = “>”(darNCol(a),darNCol(b))
        bool operator> (const medico &);

//  observadora
//      “<”:    [medico], medico    -> bool
//  ecuaciones
//      “<”(a,b) = “<”(darNCol(a),darNCol(b))
        bool operator< (const medico &);

        string  toString ();
};

#endif /*MEDICO_H*/