+ vector<Action> actions;
+ while (!file.eof()){
+ string exec;
+ string precond;
+ string effects;
+ getline(file,exec);
+ getline(file,effects);
+ getline(file,precond);
+ cout << exec << ":" << effects << ":" << precond << endl;
+ actions.push_back(Action(exec, stringToVector(precond), stringToVector(effects)));
+ }
+ Planner p(actions, stringToVector(argv[2]), stringToVector(argv[3]));