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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
  O% u/ y- N3 X0 F: m1 m模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

0 K" ~* r" |" i7 d! o+ P. [现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
& f2 T* o5 K/ G- r% N
现在要实现：
5 ~/ ^7 S1 l: F. g: o* }% kmodule1.ctime=cycletime(1)
2 o% Z* [; g3 T% ?. n: dmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
, y8 m6 ?7 i6 ]0 ]: Z
我希望用程序实现，但是试了很久都没有成功。
) T' f" w4 K5 N. ]. [0 t, A% ^7 Z
: V% T6 R' p2 u- x% z. B( v( a具体程序为：
for num=1 to 20
      module+num+.ctime=cycletime(num)
! K5 Y7 I( i7 F& R4 ]- |/ Lendfor
) V: B8 i) J# @; O& B" d) ]
) k* Q# t! I! r9 x' q; m) M! Y问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
) Y$ D3 X/ V9 C" i/ c6 Y主要是使用两个函数：
rvarset()和evalreal()

. h& P! M6 S) G. S1 D3 B具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

* p" D( @' N1 I$ P5 E# L# H即可。