Handles 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... | |
Name & | operator= (const Name &old) |
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 | ) |
bool isConsistent | ( | ) | const |
Definition at line 141 of file nameset.h.
References NameSet::Name::name.
|
friend |
const char* name |
pointer to the name string.
Definition at line 95 of file nameset.h.
Referenced by NameSet::Name::isConsistent(), soplex::NameSetNameHashFunction(), and NameSet::Name::operator=().