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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
$ ~1 f8 f) U  h7 z, R8 u
, [/ n9 ^; s# ~# _现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
8 _! h, n& V( u7 u
& l  F7 G, i3 C. X! g( q: e. X* c现在要实现：
+ R, u# j0 m. W! \7 O' O; r8 m% I; ymodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
5 x, A4 g" s: xmodule20.ctime=cycletime(20)
9 u9 g- z. N  i; E$ c) C4 z: L
我希望用程序实现，但是试了很久都没有成功。

, I! |/ o4 T7 |; s- |5 v; ]具体程序为：
for num=1 to 20
/ p( A7 t9 G4 I0 M2 @      module+num+.ctime=cycletime(num)
7 f) a% J3 ^; U. D- s9 @6 Jendfor

0 Y1 C4 H9 B! a* b) B* H/ q6 y问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
3 t% c2 J) X; E3 K" N主要是使用两个函数：
rvarset()和evalreal()

8 ~' p4 L' e( J2 D/ s* {/ F5 G具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
/ o* y- Q7 d8 X4 d4 ], M1 E
5 X0 m* x, q5 d; J即可。