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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
% q- A8 v7 e) I' `* I( k9 y7 B模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
# Z/ \6 i- w) T
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
  N+ z; F+ Y$ ]; k& v
现在要实现：
) e# N( @2 U$ R6 w! G9 V/ T" @module1.ctime=cycletime(1)
9 A7 L) @- d% [! Dmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

我希望用程序实现，但是试了很久都没有成功。

具体程序为：
. i* k: w1 q: B9 x% ?0 w* Zfor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor
$ v" ^! e( ~; L& ^5 q( K9 x
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
& S  q+ I, s9 P. W; e主要是使用两个函数：
( t# P( k6 s! i5 m( ~( \rvarset()和evalreal()

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

3 l3 R4 X0 b- I% d4 g即可。