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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
- W, I! V! P& ^. C6 m* ?7 b具体问题如下：
6 Z( J" _: V; v$ d0 z) U; Y, D( c" ~模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
6 H3 ]: s% ^5 Y+ r6 K! H' ]
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

, S( ?6 |2 H( P0 @# Y, w现在要实现：
module1.ctime=cycletime(1)
( M( x! C0 N& H2 W) W2 dmodule2.ctime=cycletime(2)
3 P  W) l  Z1 x$ o1 f5 \$ E...
module20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。
/ C7 g2 @8 L* [. [; |1 p
具体程序为：
* [* z- P- Y  n4 K; @) ifor num=1 to 20
  D  a9 g8 f% ~/ R2 R# \9 c+ N( V      module+num+.ctime=cycletime(num)
' W. t* l" B$ q- ]* U5 I0 q: h* [endfor
7 m: `7 e5 V  H, C* w: Y, n1 X" s
" @0 B' y3 R! K$ N& ^问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
8 D6 s5 B/ Z8 J# H5 [主要是使用两个函数：
rvarset()和evalreal()

具体语句：
9 E) a. h0 o6 v) qrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
- \! p9 u; z& [- w6 }8 `
. ~/ W( p: a. C! F即可。