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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

. t) V' d4 G  Y5 n1 f4 {. K现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
module1.ctime=cycletime(1)
! K: n9 r; H  s: D$ D, Imodule2.ctime=cycletime(2)
...
' D* ~* q( Y. m6 j7 Q( H: r5 wmodule20.ctime=cycletime(20)

+ r" @& x8 {1 b$ y$ m8 @0 M我希望用程序实现，但是试了很久都没有成功。
7 _+ w; e0 k# V; G3 M
' r! M/ ~1 U$ a! u7 }! v具体程序为：
for num=1 to 20
      module+num+.ctime=cycletime(num)
endfor
/ q6 z' o9 M, d1 O7 s
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
/ [- ^$ V$ U) X" ~2 P9 g, z9 R主要是使用两个函数：
rvarset()和evalreal()
* X& \* W  @* [, Q7 P
具体语句：
& g$ z: o' Z1 @& ]9 Trvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

; R3 }3 _9 i2 L" E3 X. A  F8 Q% g即可。