10 #ifndef CPROVER_UTIL_IDENTIFIER_H 11 #define CPROVER_UTIL_IDENTIFIER_H 16 #define ID_SEPARATOR "::" 33 void parse(
const std::string &s);
36 #endif // CPROVER_UTIL_IDENTIFIER_H std::vector< std::string > componentst
identifiert(const std::string &s)
std::string as_string() const
void parse(const std::string &s)