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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
3 |" N( D" G, H5 \0 D3 l8 y" P. @/ k6 P
% p& @3 n" U9 B& z现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
0 O3 p4 H8 D" |" M: k0 V
现在要实现：
module1.ctime=cycletime(1)
5 N. {$ l" \+ k6 D4 E1 X7 Dmodule2.ctime=cycletime(2)
' s/ T! O4 _, s' ~3 x& w...
8 R9 b2 j( O/ r" l  K" Q0 emodule20.ctime=cycletime(20)

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

具体程序为：
2 D- }/ }. {# X" z1 Afor num=1 to 20
      module+num+.ctime=cycletime(num)
8 n1 a# r; j$ `4 X& Qendfor

+ E8 i' B# H' `5 S问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
3 x( B) L& ~; T% Wrvarset()和evalreal()

' |9 q) _- R6 V具体语句：
5 W! u  i3 ?0 ]9 |  L0 z) `rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。