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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
1 H4 k  _$ G1 h. I4 E- b8 a
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
; x3 y' e5 Q& o0 e
现在要实现：
7 s3 \0 X( {& kmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
) D, u9 _& D. n...
1 E. P$ H2 s; z) G6 Z! S' lmodule20.ctime=cycletime(20)
! ]3 t4 K# E& x# ?! B
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
- l6 i5 Z5 H! B( t( ~) j      module+num+.ctime=cycletime(num)
# R. c/ H' E: \9 H* t& D- x  ~endfor

# h& l6 s+ o( k  Y. Y- d问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
( [6 }( a5 I3 f, m' t, D& Q主要是使用两个函数：
( k0 Z" C# G' v9 Q2 M0 prvarset()和evalreal()
* V3 ^7 M  `. i7 w& w) k( o* q& v$ T6 a1 @
具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
- A, B: u7 o: s* P3 f
& R$ A  u0 ~5 \即可。