.DESLib.RandomLib.CMRG.Src.ReadSeed

reads the current seed from file CMRGSeed.txt. If the file does not exists, saves the default value {12345,12345,12345,12345,12345,12345}

Interface

function ReadSeed
  output Seed out;
end ReadSeed;
Generated at 2025-08-12T18:38:51Z by OpenModelicaOpenModelica 1.25.1 using GenerateDoc.mos