Handles of names in a NameSet.Class Name provides the handles (i.e., char*s) of names in a NameSet. More...
#include <nameset.h>
Public Member Functions | |
Debugging | |
bool | isConsistent () const |
consistency check. More... | |
Constructors / destructors | |
Name () | |
default constructor. More... | |
Name (const Name &str) | |
copy constructor. More... | |
Name (const char *str) | |
implictly constructs a Name out of a C style character string. More... | |
Public Attributes | |
Public Data | |
const char * | name |
pointer to the name string. More... | |
Static Private Attributes | |
Private Data | |
static const char | deflt = '\0' |
default zero string. More... | |
Friends | |
Friends | |
int | operator== (const Name &n1, const Name &n2) |
equality operator. More... | |
std::ostream & | operator<< (std::ostream &out, const Name &n) |
output operator. More... | |
Handles of names in a NameSet.
Class Name provides the handles (i.e., char*s) of names in a NameSet.
Name | ( | const char * | str | ) |
|
friend |
const char* name |
pointer to the name string.
Definition at line 86 of file nameset.h.
Referenced by soplex::NameSetNameHashFunction().