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

simulator

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

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

现在要实现：
$ m$ v' e1 w/ w* a& N+ Y* c5 emodule1.ctime=cycletime(1)
5 n: n3 l' @- tmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
  P; y# T, M) q  m) K6 y2 Y- J+ x
1 ]% w" n5 P- Q8 b  {& {, b我希望用程序实现，但是试了很久都没有成功。
+ K6 O* s& a6 {7 P" M  Q" ]
具体程序为：
for num=1 to 20
9 `: x+ }/ A( Z  `8 b0 G, D      module+num+.ctime=cycletime(num)
endfor
! `9 n* n$ E% I( O1 T
' }, Z+ ]. |+ r* m问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
. W: L$ h# q4 q  t: ]主要是使用两个函数：
: {/ }4 I# W8 [* Frvarset()和evalreal()

具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
6 ]! u0 Q8 j8 \
即可。