genspect::read_from_string —
aterm read_from_string(const std::string & s);
Read an aterm from string. This function parses a character string into an aterm.