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

simulator

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

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
0 R% T" K1 k3 O2 d
现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
3 E% Y% {) Y( j8 M6 M$ C2 g...
) v5 c* H: s: Qmodule20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。
* U; B; U0 e( L1 V( S5 l+ V) J
具体程序为：
for num=1 to 20
      module+num+.ctime=cycletime(num)
4 Q- h) ^$ T/ [8 hendfor
8 h! ]4 D+ s. T8 h1 ^5 x) n; Q
% P1 b6 c" C3 j2 g" p1 K问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
4 d& r) G" L2 }4 h+ B+ E$ ~
具体语句：
0 z2 y6 x: f, zrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

+ k3 C6 }7 D6 `# c& d! u即可。