Homemanbet体育手机客户端

Env.writeParams()

Filter Content By
Version
Languages
${sidebar_list_label}-Back
${item.name}
next up previous
Next: GRB Up: Env Previous: Env.start()


Env.writeParams()

writeParams( filename )

Write all modified parameters to a file. The file is written inPRMformat.

Example usage:

env.setParam("Heu*", 0.5) env.writeParams("params.prm") # file will contain changed parameter system("cat params.prm")

next up previous
Next: GRB Up: Env Previous: Env.start()