Convenience function to generate a unique identifiers for sources, assertions, justifications, and decisions.
Arguments
- type
The type of the justifier object;
D
,J
,A
orS
.- prefix
An identifier prefix.
- stopOnIllegalChars
Whether to
base::stop()
or produce abase::warning()
when encountering illegal characters (i.e. anything other than a letter or underscore).