46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
++m_numUnknownValues;
return index;
}
void UnificationContext::setLHSHoleIndex( const StringId& name, uint32_t index )
{
if( name == "_"_sid )
return;
HoleName holeName( name, m_currentLHSNamespaceIndex );
CoW( m_pCow )->holeDict.emplace( holeName, index );
}
void UnificationContext::setRHSHoleIndex( const StringId& name, uint32_t index )
{
if( name == "_"_sid )
return;
HoleName holeName( name, m_currentRHSNamespaceIndex );
CoW( m_pCow )->holeDict.emplace( holeName, index );
}
void UnificationContext::eraseLHSName( const StringId& name )
{
|
>
>
>
>
>
>
|
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
++m_numUnknownValues;
return index;
}
void UnificationContext::setLHSHoleIndex( const StringId& name, uint32_t index )
{
if( name == "_"_sid )
{
++m_numAnonymousHoles;
return;
}
HoleName holeName( name, m_currentLHSNamespaceIndex );
CoW( m_pCow )->holeDict.emplace( holeName, index );
}
void UnificationContext::setRHSHoleIndex( const StringId& name, uint32_t index )
{
if( name == "_"_sid )
{
++m_numAnonymousHoles;
return;
}
HoleName holeName( name, m_currentRHSNamespaceIndex );
CoW( m_pCow )->holeDict.emplace( holeName, index );
}
void UnificationContext::eraseLHSName( const StringId& name )
{
|