#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) const {
   if (n->izquierdo != nullptr)
      if (n->izquierdo->dato > n->dato || ! esArbolBinarioDeBusqueda(n->izquierdo))
	 return false;
   if (n->derecho != nullptr)
      if (n->derecho->dato < n->dato || ! esArbolBinarioDeBusqueda(n->derecho))
	 return false;
   return true;
}   

bool Conjunto::esArbolBinarioDeBusqueda() const {
   if (raiz == nullptr)
      return true;
   return esArbolBinarioDeBusqueda(raiz);
}