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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
, }6 D4 X% ?( G" h4 T6 t5 {# E+ a
: |3 o- m+ F, X' h& O* l- A! g现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
, G! e9 R3 l( u0 |9 o" r8 b) Z...
* y- ~4 e! {" [: T3 s  ?  emodule20.ctime=cycletime(20)

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

具体程序为：
for num=1 to 20
) ?3 [& W, D7 Y0 [      module+num+.ctime=cycletime(num)
6 }) s9 S6 _$ q* n) g/ x' [/ e( Zendfor

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

simulator

自己解决了。
# f% _7 O  A( A9 R$ ]& w+ S& u9 K主要是使用两个函数：
( H8 _" u- [% p. c5 R# ?rvarset()和evalreal()
8 n( v* U1 b" J5 J9 Z
具体语句：
  R+ g5 G8 X1 u9 \7 Ervarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
7 Z# r9 v" ~% J; [. f
0 q+ a* _! Y% |  R3 J即可。