newmuid
| newmuid | 
  Purpose
 
  
  Synopsis
 
 function newmuid:string
 
  Return value
 
 
 An identifier string.
 
  Further information
 
 
  This function returns a string of the form
 muid#_xxx where
 # is an execution number in hexadecimal (specific to this model execution) and
 xxx a random hexadecimal number. It is guaranteed that each generated value does not correspond to any symbol of the model and that it will never be returned again.
 
 
