Implement references using InvertibleRelation as data structure.

This commit is contained in:
chriseth
2019-05-27 22:55:59 +02:00
parent b836079006
commit 4061ad0a7b
7 changed files with 86 additions and 23 deletions
+1 -1
View File
@@ -57,7 +57,7 @@ public:
for (auto const& codeCost: m_expressionCodeCost)
{
size_t numRef = m_numReferences[codeCost.first];
cand.emplace(make_tuple(codeCost.second * numRef, codeCost.first, m_references[codeCost.first]));
cand.emplace(make_tuple(codeCost.second * numRef, codeCost.first, m_references.forward[codeCost.first]));
}
return cand;
}