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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
6 ^( C2 z7 \" @
6 @  \( `5 T$ N# m2 F. D现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
2 x0 P4 z; Q2 H
现在要实现：
module1.ctime=cycletime(1)
7 M* [$ m9 Q8 C. Vmodule2.ctime=cycletime(2)
+ Q( U% S+ O/ {) R4 P% k...
module20.ctime=cycletime(20)

5 e9 {9 [( U$ x* B* v6 s我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
4 r+ X' B1 B3 o' Y      module+num+.ctime=cycletime(num)
2 y$ x2 g8 c, ~5 S5 ^; Uendfor
3 Q' H: y9 Z: s- {) r+ D! J7 A
9 Q$ [$ {1 E$ C1 I; V问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
- N+ f9 r/ D2 e3 |& ~* L主要是使用两个函数：
rvarset()和evalreal()

" @4 K( ]5 {/ q具体语句：
2 R  ~; L' `4 e. ~0 hrvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。