.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-12-13T19:13:59Z by OpenModelicaOpenModelica 1.25.7 using GenerateDoc.mos