Method UpdateSymbol

Core/ClientSML/src/sml_ClientIdentifier.cpp:250–263

}

void Identifier::UpdateSymbol(IdentifierSymbol* pSymbol)
{
    //std::string symString;
    //m_pSymbol->DebugString(symString);
    //std::cout << "UpdateSymbol for wme " << GetTimeTag() << " " << symString;
    
    m_pSymbol->TransferChildren(pSymbol);
    
    ReleaseSymbol();
    
    m_pSymbol = pSymbol;
    m_pSymbol->UsedBy(this) ;
    RecordSymbolInMap();
}

Identifier::~Identifier(void)
{