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

simulator

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

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
. L. E2 R5 `3 K( d7 \+ `( kmodule1.ctime=cycletime(1)
7 D& w9 R( x: bmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

/ N; J. X; q0 L% L" A我希望用程序实现，但是试了很久都没有成功。

; P' ^4 s0 p$ a! O具体程序为：
9 |) v/ N9 O" n: ^9 afor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor

( Y4 A# n7 O6 q( Z+ u8 a' E问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
! r8 `$ o+ e/ @9 W主要是使用两个函数：
rvarset()和evalreal()
7 w' S! \) Q. z6 [# n; R0 @8 G
具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。