15 bool externalsat =
true;
17 int labellingconditions = 0;
18 bool manualopt =
false;
22 int (*SatSolver)(stringstream *, int, int, vector<int> *) = NULL;
38 int main(
int argc,
char *argv[])
48 inputfile = string(argv[1]);
66 if (semantics.compare(complete_string_const) == 0)
72 Semantics::iterator it;
73 for (it = comp.begin(); it != comp.end(); it++)
75 cout << *((*it).inargs()) << endl;
78 else if (semantics.compare(preferred_string_const) == 0
79 || semantics.compare(preferred_df_string_const) == 0)
83 if (semantics.compare(preferred_string_const) == 0)
88 Semantics::iterator it;
89 for (it = pref.begin(); it != pref.end(); it++)
91 cout << *((*it).inargs()) << endl;
94 else if (semantics.compare(grounded_string_const) == 0
95 || semantics.compare(grounded_poly_string_const) == 0)
99 if (semantics.compare(grounded_string_const) == 0)
103 Semantics::iterator it;
104 for (it = ground.begin(); it != ground.end(); it++)
106 cout << *((*it).inargs()) << endl;
110 else if (semantics.compare(stable_string_const) == 0)
114 Semantics::iterator it;
115 for (it = stab.begin(); it != stab.end(); it++)
117 cout << *((*it).inargs()) << endl;
121 else if (semantics.compare(semistable_string_const) == 0)
125 Semantics::iterator it;
126 for (it = semistab.begin(); it != semistab.end(); it++)
128 cout << *((*it).inargs()) << endl;