The decoded name, still represented as a name.
The encoded name, still represented as a name.
Checks wether the name is a term name
Checks wether the name is a type name
Returns a term name that wraps the same string as this
Returns a type name that wraps the same string as this
Replaces all occurrences of $op_names in this name by corresponding operator symbols.
Replaces all occurrences of $op_names in this name by corresponding operator symbols.
Example: foo_$plus$eq
becomes foo_+=
(Since version 2.11.0) Use decodedName.toString
instead
Replaces all occurrences of operator symbols in this name by corresponding $op_names.
Replaces all occurrences of operator symbols in this name by corresponding $op_names.
Example: foo_+=
becomes foo_$plus$eq
.
(Since version 2.11.0) Use encodedName.toString
instead
The API of Name instances.