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

simulator

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

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

现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
2 M! A2 ^6 ?. j1 @1 V...
1 a5 u3 D% C9 P3 @3 Rmodule20.ctime=cycletime(20)

9 D; |# r0 E! t& q4 B' r* Z我希望用程序实现，但是试了很久都没有成功。
  d- \4 P0 ^& }# y" }# m9 B
2 D; k0 I: }8 C" E4 W. h) m具体程序为：
for num=1 to 20
  w* Q' T% o  H5 ]( m3 l4 }      module+num+.ctime=cycletime(num)
' m. C. Z2 [* V! Q  K4 |* B8 ^; Nendfor

+ \/ `+ x' y. _+ r; d0 h$ @问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
* c+ ^; n, S. k1 X7 C: w$ @) irvarset()和evalreal()

2 O( r2 x, E8 X, ^0 P" o4 ~2 d# h具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

5 c1 w7 _' F( C4 i即可。