for(vector<Action>::iterator action = actions.begin(); action != actions.end(); ++action){
const Literals& effects = action->effects(0);
for (Literals::const_iterator effect = effects.begin(); effect != effects.end(); ++effect){
for(vector<Action>::iterator action = actions.begin(); action != actions.end(); ++action){
const Literals& effects = action->effects(0);
for (Literals::const_iterator effect = effects.begin(); effect != effects.end(); ++effect){
hash_map<string,Node*>::iterator addedNode = _addedNodes.find(precond->first);
if(addedNode != _addedNodes.end()){
cerr << "Using already added node" << endl;
hash_map<string,Node*>::iterator addedNode = _addedNodes.find(precond->first);
if(addedNode != _addedNodes.end()){
cerr << "Using already added node" << endl;
for (Literals::const_iterator effect = effects.begin(); effect != effects.end(); ++effect){
cout << "Adding node for effect: " << *effect << endl;
for (Literals::const_iterator effect = effects.begin(); effect != effects.end(); ++effect){
cout << "Adding node for effect: " << *effect << endl;