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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
% h  |, n5 O) Q% |: A具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
; k/ p# E3 e; h' |/ ]
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
' o3 X4 H  c  \9 ~2 f  x
/ ]  |) C' l6 E4 J( P5 j我希望用程序实现，但是试了很久都没有成功。
; K% `9 q: ~  k+ K( P) k
具体程序为：
for num=1 to 20
5 }/ I/ x- {& E* Q$ j      module+num+.ctime=cycletime(num)
endfor

问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
6 a3 V* p0 f! e- E4 crvarset()和evalreal()

具体语句：
. i8 m) {! D5 Z+ Frvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
8 `; i9 p6 U. h1 y7 b
( D. a6 T1 k% `4 l9 L+ g6 g0 x即可。