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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
4 ^; P! l, f) m7 E& c) _, H4 Q, |2 X模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

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

% J5 R4 [( Z3 I4 P. a' N现在要实现：
! k8 t+ |  z  O$ rmodule1.ctime=cycletime(1)
. `/ j# n5 v  a) C" A+ h% }6 Hmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)

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

具体程序为：
for num=1 to 20
2 w; [* c" C& n9 P6 |8 S5 m* R      module+num+.ctime=cycletime(num)
endfor
0 ]( E3 C6 b" H# i6 k, R
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
& I- {% x  Z$ A. |主要是使用两个函数：
4 j/ ]* \  P5 }! orvarset()和evalreal()
: ]* `* c) t9 V, v7 _: ~" O
' x+ U7 I: {5 p" y! L$ i* a# p3 r具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
) k9 y4 A' D9 G1 o# I# a& [% @
即可。