const std::string Symbol::getMangledName() { std::ostringstream mangled; std::string nstr = m_state.getDataAsStringMangled(getId()); mangled << getMangledPrefix() << nstr.c_str(); return mangled.str(); }
const std::string SymbolConstantValue::getMangledName() { if(m_state.isScalar(getUlamTypeIdx())) return Symbol::getMangledName(); std::ostringstream mangled; std::string nstr = m_state.getDataAsStringMangled(getId()); mangled << getMangledPrefix() << nstr.c_str(); return mangled.str(); } //getMangledName