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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
& Q9 R' D2 O+ Q% [/ w4 q1 _& ]! P模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
) [) S. y! H8 A# ^( I
, p' i. N5 ^9 Z, B' e9 V2 g; P6 I' V  R现在要实现：
  g% P; X: D' d$ q- U( T# pmodule1.ctime=cycletime(1)
7 s* E4 ~# I* q. p7 mmodule2.ctime=cycletime(2)
1 C' y/ c2 I( e' E5 J# a5 g% U: `...
module20.ctime=cycletime(20)
0 M8 C5 U2 `' ?. z( g- E
6 J5 m  P8 c+ `* T; K我希望用程序实现，但是试了很久都没有成功。

" b" ?) A0 v, x/ T) z具体程序为：
5 d. M4 W" n6 s+ B9 [! ofor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor

问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
) k, b$ u  U- d, q; a" [9 w0 E
具体语句：
' p2 k6 e7 G7 |  |9 h4 vrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。