cprover
|
#include <string>
#include <vector>
Go to the source code of this file.
Classes | |
class | identifiert |
Macros | |
#define | ID_SEPARATOR "::" |
#define ID_SEPARATOR "::" |
Definition at line 16 of file identifier.h.
Referenced by identifiert::as_string(), and identifiert::parse().