Witness如何将字符串转化为数组并赋值

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
& m* F* r) ~$ f2 H. R: B$ Z: {2 ~6 A模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
. @$ {$ l3 Z" X+ W' V
  X, R. @" X" `8 `现在要实现：
module1.ctime=cycletime(1)
  e) J5 Y' l' d& R; s6 P* [module2.ctime=cycletime(2)
...
' o$ T& \$ ^8 tmodule20.ctime=cycletime(20)
$ d/ ]9 R" `3 N. K, d+ W: o! n( E
0 W* d3 T3 P9 t7 d+ W9 m- o我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
- w! q" h- j  ~3 U: \. j0 U! V      module+num+.ctime=cycletime(num)
endfor

6 d* |  H: P! N/ P问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()

5 P. `+ S4 W5 [; B- G; I具体语句：
4 I5 ~4 ^' @  A* a- p: Grvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。