Conversion of CLA idfiers

I.6.7 Conversion of CLA idfiers

Two methods are defined to convert CLA identifiers to Strings, or Strings to CLA identifiers. (See chapter II.0 for the notion of identifier.) The two methods are defined in the “Post” Module:

“convertIdfierToString” has one CLA identifier argument and returns a String.
“convertStringToIdfier” performs the reverse operation.

Examples of valid Strings corresponding to CLA identifiers:

    "testLam",
    "15",
    "[15,testLam]",
    ...

[next] [prev] [prev-tail] [front] [up]