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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
1 k9 _8 l7 V* U! q# s1 ]4 V6 {) ~
! U' e1 l8 J: i* E现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
3 S  n" J' \, D; v
现在要实现：
: b% _1 P) u8 A  f8 ~module1.ctime=cycletime(1)
/ X& O$ z! O( G, Q5 r9 W3 s1 N" b& Z! fmodule2.ctime=cycletime(2)
' v7 b/ R0 {9 y5 B...
module20.ctime=cycletime(20)

$ s# k; |0 B* z+ ?3 b) f6 E  B/ K我希望用程序实现，但是试了很久都没有成功。

1 K( F+ {' V. t! T具体程序为：
; p/ b6 U6 o' A. N1 efor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor
: `& Q& ?% T. ]1 H: _
- Y& Y- x& e  O1 E1 p问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
. T- D* k6 D7 _* I% D8 S( d
+ d" R& q. a  U  e5 F3 ?" G7 O7 N具体语句：
* I9 M! B) j* E7 `rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

( r, ~* ~7 s7 ^" |2 p即可。