main.cpp

/**
 * @file 		SemOpt.cpp
 * @brief 		Main file
 * @author 		Federico Cerutti <f.cerutti@abdn.ac.uk> and
 * 				Mauro Vallati <m.vallati@hud.ac.uk>
 * @copyright	GNU Public License v2
 */

#include "semopt.h"
#include <time.h>

/**
 * @brief Configuration variables
 */
bool debug = false;
bool externalsat = true;
string satsolver;
int labellingconditions = 0;
bool manualopt = false;
string inputfile;
string semantics;

time_t start;

#ifndef UNIT_TEST




int main(int argc, char *argv[]){


	//debug = true; // more verbose
	debug=false;
	inputfile = string("test-input/test5-large.dl");
	AF gamma = AF();
	if (!gamma.readFile(inputfile))
	{
		cout << "no input file"<<endl;
		return EXIT_FAILURE;
	}

	SetArguments *A = new SetArguments();
	*A=SetArguments(*gamma.get_arguments());

	set<SetArguments*> res;

	vector<OI_pair> OI_pairs = vector<OI_pair>();

	clock_t t;
	t=clock();
	res=pref(gamma,*A, &OI_pairs);
	t=clock()-t;
	float T = float(t)/CLOCKS_PER_SEC;
	cout<<"---------------fine:"<<T<<endl;

	cout <<"risultati: "<<endl;
	set<SetArguments*> :: iterator kt;
	for( kt = res.begin(); kt != res.end(); kt++ ){
		cout << **kt << endl;
	}

	return EXIT_SUCCESS;
}
#endif