cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixed template problem.

Browse Source
This commit is contained in:
chriseth 2015-05-12 11:25:34 +02:00
parent aafa354a95
commit 60d69c78f5
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
KnownState.cpp
View File

@ -162,7 +162,7 @@ KnownState::StoreOperation KnownState::feedItem(AssemblyItem const& _item, bool
/// Helper function for KnownState::reduceToCommonKnowledge, removes everything from /// Helper function for KnownState::reduceToCommonKnowledge, removes everything from
/// _this which is not in or not equal to the value in _other. /// _this which is not in or not equal to the value in _other.
template <class _Mapping, class _KeyType = ExpressionClasses::Id> void intersect( template <class _Mapping, class _KeyType> void intersect(
_Mapping& _this, _Mapping& _this,
_Mapping const& _other, _Mapping const& _other,
function<_KeyType(_KeyType)> const& _keyTrans = [](_KeyType _k) { return _k; } function<_KeyType(_KeyType)> const& _keyTrans = [](_KeyType _k) { return _k; }
@ -175,6 +175,11 @@ template <class _Mapping, class _KeyType = ExpressionClasses::Id> void intersect
it = _this.erase(it); it = _this.erase(it);
} }
template <class _Mapping> void intersect(_Mapping& _this, _Mapping const& _other)
{
intersect<_Mapping, ExpressionClasses::Id>(_this, _other, [](ExpressionClasses::Id _k) { return _k; });
}
void KnownState::reduceToCommonKnowledge(KnownState const& _other) void KnownState::reduceToCommonKnowledge(KnownState const& _other)
{ {
int stackDiff = m_stackHeight - _other.m_stackHeight; int stackDiff = m_stackHeight - _other.m_stackHeight;