rename CutIndexer to MapIndexer

This commit is contained in:
Tiago Gomes
2012-05-28 12:32:15 +01:00
parent 3290834dfe
commit 3986012e56
4 changed files with 16 additions and 16 deletions

View File

@@ -209,7 +209,7 @@ Factor::sumOutArgs (const vector<bool>& mask)
Params newps (new_size, LogAware::addIdenty());
Params::const_iterator first = params_.begin();
Params::const_iterator last = params_.end();
CutIndexer indexer (oldRanges, mask);
MapIndexer indexer (oldRanges, mask);
if (Globals::logDomain) {
while (first != last) {
newps[indexer] = Util::logSum (newps[indexer], *first++);