termino.h

/*
 * termino.h
 *
 *  Created on: 12/06/2013
 *      Author: jorge
 */

#ifndef TERMINO_H_
#define TERMINO_H_
#include <string>
#include <vector>
#include <iostream>
class Termino {
	std::string termino;
	//					    nro_doc   offsets en el doc
	std::vector<std::pair <size_t ,std::vector<size_t> > > vector_docs;

public:
	Termino(std::string& termino, std::vector<std::pair <size_t ,std::vector<size_t> > > docs_y_offts);

	std::string& get_termino();

	bool tiene_doc(size_t nro_doc);

	friend std::ostream& operator<<(std::ostream& os, Termino& mod);
	// comprueba que dado otro termino, en un determinado documento, y que el
	// propio elemento se encuentra en el offset dado, este anteceda al termino recibido
	bool antecede ( Termino& termino, size_t nro_doc, size_t offset, size_t& lugar_match);

	size_t get_max_offset(size_t nro_doc);

	size_t get_offset(size_t nro_doc, size_t lugar_ant_offst);

	size_t get_cant_offsets(size_t nro_doc);
};

std::ostream& operator<<(std::ostream& os, Termino& mod);

class ResolvedorDeConsultas {
	bool todos_tienen_el_documento(std::vector<Termino>& terminos,size_t nro_doc) {
		for(size_t i=0;i<terminos.size();++i){
			if(terminos[i].tiene_doc(nro_doc) == false){
				return false;
			}
		}
		return true;
	}

	void recursive_comprobar_precedencia(bool& exito,std::vector<Termino>& terminos, size_t nro_termino, size_t nro_doc, std::vector<size_t> estado) {
		//std::cout<<"dando vueltas"<<std::endl;
		if(exito == true){
			return;
		}
		Termino& termino_act = terminos[nro_termino];
		//std::cout<<"encontro true??"<<std::endl;
		if (nro_termino == terminos.size() - 2) {
			//std::cout<<"casi casi, nro_termino: "<<nro_termino<<std::endl;
			size_t lugar_match; // no me importa no lo uso
			for(size_t i=0;i<termino_act.get_cant_offsets(nro_doc);i++) {
				if (termino_act.antecede(terminos[nro_termino + 1], nro_doc, i,lugar_match)) {
					exito = true;
					std::cout<<"ssissssss encontro solucion"<<std::endl;
					return;
				}
			}
			//std::cout<<"no, vuelvo para atras"<<std::endl;
		}else{
			//std::cout<<"no, hago for"<<std::endl;
			std::vector<size_t> estado_aux = estado;
			for(size_t i=estado[nro_termino]; i< termino_act.get_cant_offsets(nro_doc); i++) {
				//aca deveria hacer chequeo de precedencia antes de llamar
				size_t lugar_match;
				if(termino_act.antecede(terminos[nro_termino+1],nro_doc,i,lugar_match)){
					estado_aux[nro_termino+1]=lugar_match;
					recursive_comprobar_precedencia(exito, terminos, nro_termino+1,nro_doc,estado_aux);
				}

			}
		}

	}

	bool comprobar_precedencia(std::vector<Termino>& terminos,size_t nro_doc) {
		if(terminos.size() == 0){
			throw std::ios_base::failure("ResolvedorDeConsultas.comprobar_precedencia: He loco me mandaste un vector<Termino> vacio !!! ");
		}
		std::vector<size_t> estado (terminos.size(),0);
		//std::cout<<"estado inicial vector estado: ";
		/*
		for(size_t i=0;i<estado.size();i++){
			//std::cout<<estado[i];
		}*/
		//std::cout<<std::endl;
		size_t nro_termino = 0;
		bool exito = false;
		recursive_comprobar_precedencia(exito, terminos, nro_termino, nro_doc, estado);
		return exito;
	}
public:
	// los terminos tienen que estar odenados en el vector en el mismo orden que estan en la consulta
	std::vector<size_t> resolver_consulta(std::vector<Termino>& terminos, size_t cant_total_docs){
		std::vector<size_t> solucion;
		for(size_t i=1;i<cant_total_docs+1;++i) {
			if(todos_tienen_el_documento(terminos,i)) {
				std::cout<<"Todos los terminos tienen al doc: "<<i<<" se verificara frase en ese doc"<<std::endl;
				if(terminos.size()==1 || comprobar_precedencia(terminos,i)) {
					solucion.push_back(i);
				}
			}else{
				//std::cout<<"No todos los terminos tienen al doc: "<<i<<std::endl;
			}
		}
		return solucion;
	}
};


#endif /* TERMINO_H_ */