increase the cost of the grounding operator

This commit is contained in:
Tiago Gomes 2012-06-08 13:35:00 +01:00
parent 5785260644
commit 51c279d24c

View File

@ -501,7 +501,7 @@ GroundOperator::getLogCost (void)
++ pflIt;
}
// cout << endl;
return totalCost;
return totalCost + 3;
}