#include<iostream>
#include<time.h>

#include "algo.h"

int main()
{
	string nom_fic,fichier_sortie;
	list<vector<int> > Lferme;
	list<vector<int> > Lext;
	algo calcul_treillis;
	int nbpropriete=0;
	int nbobjet=0;
	time_t deb;
	time_t fin;

	cout<<" -------------------------------------------------"<<endl;
	cout<<"Generation des concepts et de la base de regles associee"<<endl;
	cout<<" -------------------------------------------------"<<endl;
	cout<<endl;

	cout<<"Entrez le nom du fichier d'entree : ";
	cin>>nom_fic;
	calcul_treillis.lecture(nom_fic);
	
	deb=time(NULL);
	calcul_treillis.lancer_algo_ganter(Lferme,Lext,nbpropriete,nbobjet);
	fin=time(NULL);
	system("cls");

	cout<<"Temps ecoule pour l'execution de l'algorithme:"<<fin-deb<<endl;
	cout<<endl;
	system("pause");
	system("cls");
	
	// Affichage des résultats
	char rep1;
	do{
		cout<<"Voulez-vous afficher les resultats ? (o/n) : ";
		cin>>rep1;
		cout<<endl;
	}while (rep1!='o' && rep1!='O' && rep1!='n' && rep1!='N');
	if(rep1=='o' || rep1=='O')
	{
		system("cls");
		calcul_treillis.affiche_resultat(Lferme,Lext,nbpropriete,nbobjet);
		system("pause");
		system("cls");
	}
	
		
	// Sauvegarde des résultats
	char rep2;
	do{
		cout<<"Voulez-vous sauver les resultats ? (o/n) : ";
		cin>>rep2;
		cout<<endl;
	}while (rep2!='o' && rep2!='O' && rep2!='n' && rep2!='N');
	if(rep2=='o' || rep2=='O')
	{
		cout<<"Entrez le nom du fichier de sortie : ";
		cin>>fichier_sortie;
		calcul_treillis.sauve_resultat(Lferme,Lext,nbpropriete,nbobjet,fichier_sortie);
	}
	system("pause");
	system("cls");
	return 0;
}