15 bool externalsat =
true;
17 int labellingconditions = 0;
18 bool manualopt =
false;
26 int main(
int argc,
char *argv[])
29 inputfile = string(
"test-input/scc-test.dl");
36 Preferred p = Preferred();
50 p.prefSAT(&A_set1, &C_set1);
52 cout <<
"First example" << endl;
53 int extension_counter = 1;
55 for (Preferred::iterator it = p.begin(); it != p.end(); it++)
57 cout <<
"Extension number " << extension_counter++ << endl;
59 itarg != (*it).inargs()->end(); itarg++)
61 cout << (*itarg)->getName() << endl;
63 cout <<
"An alternative way to print out this extension" << endl;
64 cout << *((*it).inargs()) << endl;
66 cout <<
"End of first example" << endl << endl;
82 p.prefSAT(&A_set2, &C_set2);
84 cout <<
"Second example" << endl;
85 extension_counter = 1;
86 for (Preferred::iterator it = p.begin(); it != p.end(); it++)
88 cout <<
"Extension number " << extension_counter++ << endl;
89 cout << *((*it).inargs()) << endl;
91 cout <<
"End of second example" << endl << endl;