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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
8 T* Y. @: O3 _8 e! Z具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
& j# ~7 O$ z$ y. N- I4 E1 M' [( m
0 a8 s" K/ p$ M- |现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

( v. N+ D) |6 _( k9 ~! ^现在要实现：
( g1 x: g+ x# [3 d/ \6 Jmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
) C6 I- [/ F+ l. D5 R  G5 xmodule20.ctime=cycletime(20)
2 {, Q: l! F# C$ `
我希望用程序实现，但是试了很久都没有成功。
& ?  Q( D& C, Z) |% K9 M5 `& d, }% S
具体程序为：
for num=1 to 20
      module+num+.ctime=cycletime(num)
5 r9 K; Q' ?  ?1 D. {2 ~endfor
/ Q. P' ]( i4 D( g3 G, P# ]7 u
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
' q8 L+ z1 s  m0 E# m主要是使用两个函数：
rvarset()和evalreal()

具体语句：
& x% Y  }- A- e' k( ]" trvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。