17 if (ifstream(filename))
23 bool parse_solution_aspartix(
set<set<string> > *preferred,
const char *file)
27 if (infile.good() ==
false)
31 while (getline(infile, inLine))
35 set<string> sol_asp = set<string>();
37 while (((
int) (pos = inLine.find(
"in(", start))) != ((int) string::npos))
39 string arg = inLine.substr(pos + 3,
40 inLine.find(
")", pos + 3) - (pos + 3));
44 (*preferred).insert(sol_asp);
46 set<set<string> >::iterator it;
47 for (it = preferred->begin(); it != preferred->end(); it++)
49 set<string>::iterator inner;
51 for (inner = (*it).begin(); inner != (*it).end(); inner++)
53 cout << (*inner) <<
" ";