for(vector<Action>::iterator action = actions.begin(); action != actions.end(); ++action){
literals effects = action->effects();
for(vector<Action>::iterator action = actions.begin(); action != actions.end(); ++action){
literals effects = action->effects();