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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
. B: v8 Y/ j- z/ \( ~模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
) n/ G0 x' {; Y: M3 a1 r
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

2 L1 V" O+ v6 a# P4 l2 w# i现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
2 @; y5 l1 J+ K' l9 ~...
* {, S8 h, C& A5 ?& h5 X1 d  Z* ]9 qmodule20.ctime=cycletime(20)

1 Q7 [6 X4 g2 l- t( @我希望用程序实现，但是试了很久都没有成功。
- s. [/ U$ e; [3 R
/ f9 U0 v  Y2 }具体程序为：
: D# s( D7 C6 `  q( }+ xfor num=1 to 20
      module+num+.ctime=cycletime(num)
. n5 Q& l* R4 H0 {5 e: `2 j7 [endfor

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

simulator

自己解决了。
/ O- s5 ~4 \4 M  M  x) i主要是使用两个函数：
' p0 C: }8 l6 O/ m& Xrvarset()和evalreal()

具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。