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

simulator

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

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
  z* n1 }$ C  R, O2 q) t
' Z0 Q4 N( z# X) _9 F* v. i  u现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
  K' w+ p' O2 Y9 n% G1 |9 Smodule20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。
- E( i( J7 b: o
. O: @+ Y& w/ t/ A4 w8 t# Q0 L具体程序为：
for num=1 to 20
  C1 ?' f( a! |" S9 |2 Y      module+num+.ctime=cycletime(num)
+ s9 t: @  {$ O7 V' R. ~& y$ X& Qendfor

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

simulator

自己解决了。
2 J! O) ~$ }, X5 t( w0 \主要是使用两个函数：
rvarset()和evalreal()

具体语句：
9 v* i3 m5 t* J" }; z# }/ irvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。