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();
42 p.prefSAT(&framework, &C_set1);
44 for (Preferred::iterator it = p.begin(); it != p.end(); it++)
46 cout <<
"First extension " << endl;
48 itarg != (*it).inargs()->end(); itarg++)
50 cout << (*itarg)->getName() << endl;
52 cout <<
"Or even " << endl;
53 cout << *((*it).inargs()) << endl;
61 p.prefSAT(&framework, &C_set2);
63 for (Preferred::iterator it = p.begin(); it != p.end(); it++)
65 cout <<
"Second extension " << endl;
66 cout << *((*it).inargs()) << endl;