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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
: T& p, t2 ?& Q% Q! i  }具体问题如下：
" X  Z2 X! f: i( z& z模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
, w0 `2 p2 W8 U  d0 [& _" J( u
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
# l0 P& A. n& y% i5 S% y
: I" v  T: r+ p' ?7 d2 ?0 [现在要实现：
; R3 y- k: e1 z+ x5 d9 tmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
* e6 t, L9 `8 r9 I...
module20.ctime=cycletime(20)
3 m" v. F. Z! G' Z
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
% v7 z2 M; J0 A7 X) m5 ~8 Z# Cfor num=1 to 20
5 O) D  `* y0 u* E$ q; t0 @' ]& T      module+num+.ctime=cycletime(num)
! T6 L& D- b) ~  uendfor
# K6 F+ j/ _! W4 [: g
问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
" I7 q. F* B: z  L0 B+ g0 Arvarset()和evalreal()
; }  {2 R$ M2 c) y1 u( d7 h5 K# b- ?2 |
# l$ U0 |5 r) Y) x  r* m具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
+ k7 t( H' C2 t8 ^, ^1 B) M
即可。