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

simulator

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

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

0 \6 n0 T( E. ~5 V; @  z现在要实现：
2 ~  F+ d" J( Z  s) ~; Gmodule1.ctime=cycletime(1)
: N0 @( e" T( a$ z! Z2 umodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
/ O/ U; T' m, L  k7 c
. A) N, `9 O0 @# @2 y' F我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
9 L: C. g; `8 {" C7 ^5 I+ l$ M9 o      module+num+.ctime=cycletime(num)
endfor
3 o4 i! g6 Y/ D6 y
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
- q" \4 U3 G# O7 B* G2 X$ }主要是使用两个函数：
rvarset()和evalreal()
5 ~! @$ H7 ^+ F
具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
3 P+ Z2 G3 K( x# T
+ T/ m- h% ]; Y9 W  Y' E) i4 I: N即可。