#include <iostream>
#include <string>
#include <vector>
#include <limits>
using namespace std;

#include "Conjunto.h"

Conjunto::Nodo::Nodo(int elDato) : dato{elDato}, izquierdo{nullptr}, derecho{nullptr} {
}

Conjunto::Conjunto() : raiz{nullptr}, laTalla{0}  {
}
  
void Conjunto::insertar(int unDato) {
   insertar(unDato, raiz);

   if (!esArbolBinarioDeBusqueda())
      throw string("ERROR al insertar ") + to_string(unDato);

}

void Conjunto::insertar(int unDato, Nodo * & n) {
   if (n == nullptr) {
      n = new Nodo(unDato);
      laTalla++;
   }
   else if (unDato < n->dato)
      insertar(unDato, n->izquierdo);
   else if (unDato > n->dato)
      insertar(unDato, n->derecho);
   // No insertamos duplicados
}

int Conjunto::minimoEnSubarbol(Nodo * n) const { // Sabiendo que n != nullptr
   if (n->izquierdo == nullptr)
      return n->dato;
   return minimoEnSubarbol(n->izquierdo);
}

void Conjunto::eliminar(int unDato) {
   eliminar(unDato, raiz);

   if (!esArbolBinarioDeBusqueda())
      throw string("ERROR al eliminar ") + to_string(unDato);;

}

void Conjunto::eliminar(int unDato, Nodo * & n) {
   if (n == nullptr)
      return;
   if (unDato < n->dato)
      eliminar(unDato, n->izquierdo);
   else if (unDato > n->dato)
      eliminar(unDato, n->derecho);
   else if (n->izquierdo != nullptr && n->derecho != nullptr) {
      n->dato = minimoEnSubarbol(n->derecho);
      eliminar(n->dato, n->derecho);
   } else {
      Nodo * basura = n;
      if (n->izquierdo != nullptr)
	 n = n->izquierdo;
      else
	 n = n->derecho;
      delete basura;
      laTalla--;
   }
}

bool Conjunto::buscar(int unDato) const {
   Nodo * n = raiz;
   while (n != nullptr) {
      if (unDato < n->dato)
	 n = n->izquierdo;
      else if (unDato > n->dato)
	 n = n->derecho;
      else
	 return true;
   }
   return false;
}

bool Conjunto::esArbolBinarioDeBusqueda(Nodo * n, int & mayorHastaAhora) const {
   if (n == nullptr)
      return true;
   if (! esArbolBinarioDeBusqueda(n->izquierdo, mayorHastaAhora))
      return false;
   if (n->dato < mayorHastaAhora)
      return false;
   mayorHastaAhora = n->dato;
   return esArbolBinarioDeBusqueda(n->derecho, mayorHastaAhora);
}   

bool Conjunto::esArbolBinarioDeBusqueda() const {
   int mayorHastaAhora = numeric_limits<int>::min();
   return esArbolBinarioDeBusqueda(raiz, mayorHastaAhora);
}