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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
( _# t' ]8 H  J. y. l- j4 g5 F4 I
9 ?9 I$ O$ B/ g7 i" }& Y# d现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

+ d* Z8 }. A' @) X1 p4 D现在要实现：
" U3 J+ p+ `( l$ m: [6 |module1.ctime=cycletime(1)
$ K7 k  w& P2 D1 ~3 {' U  h3 }module2.ctime=cycletime(2)
...
. B% k" L% `/ g  dmodule20.ctime=cycletime(20)
2 |) g! J0 `% O/ G: A0 [
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
! H3 P. K/ i! P; \. lfor num=1 to 20
- ?9 I& i3 g/ p) J% p      module+num+.ctime=cycletime(num)
endfor

1 h  J( ?" [: @/ O问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
8 X2 T& w+ B5 ?9 `1 S! ?9 V
具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
4 U: s6 ^6 W4 }# v( t
5 Z; P: R& O* ~7 D: b* ~9 z$ x$ n即可。