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