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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
0 S; q, `- Z7 Z! ]# H. {模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
6 y2 _, u: l7 C- f# y' {  c/ m6 `. ^' a
- ]0 x4 u2 e* [" [" q$ ]现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

& G, W: N+ G& O8 t/ e现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。
( S7 b( G5 O: {9 u5 ^/ m: v) P
) d, W" S4 A5 `/ T; {具体程序为：
( R2 q. R' w6 @  w7 O3 Sfor num=1 to 20
. F+ q5 @1 r8 P- F0 ~3 t      module+num+.ctime=cycletime(num)
endfor
# h) U6 z8 ^. y) K7 f
2 P; |* ^' q. }) h2 r* D问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
1 `  y, m7 _5 H5 T4 n6 q1 y主要是使用两个函数：
rvarset()和evalreal()

$ _3 x& _9 e. J% Z8 m+ g6 Q具体语句：
( D% P7 a, S. i% o0 ~% s5 lrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

( C1 O) q, h0 L" o' l8 l5 E& J6 T即可。