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

simulator

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

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

1 V" Q% X+ r( \" I4 J3 l6 c- {现在要实现：
" F8 k  A) o; J0 \module1.ctime=cycletime(1)
- F+ m. e+ g* Qmodule2.ctime=cycletime(2)
+ M- T% u; F# \' b3 j3 P...
module20.ctime=cycletime(20)

5 O5 [9 H; N$ i1 C' [# v1 {我希望用程序实现，但是试了很久都没有成功。
- ?- x( i# K7 |- t& u* L8 c8 k
具体程序为：
3 ]# V( ?, B* ^* N) F; ?% o$ cfor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor
+ e6 X: o. M3 H2 G2 s* }! \8 \- y& K' ^+ V
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()

具体语句：
7 |7 X* o5 l4 g. p! hrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
' _9 A$ d+ f- I9 n1 ^9 w
1 l2 Z6 P; h) `$ o5 z即可。