Identifier of PEs. It is used to identify checkpointed PEs in the storage backend.
The storage backend is responsible for converting this identifier to whatever internal representation is most suitable for it.
This class provides methods for getting a compact String representation of the identifier and for creating an identifier from a String representation.
|
|
|
|