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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
$ b1 p4 A8 @7 s  [( D7 ~) E* Z" m具体问题如下：
8 ?( F. B$ \% `4 H模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
  L3 A" a5 g7 |4 t2 [
  [( y6 I7 Y7 ^$ J1 k. o现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
4 N, H! ~6 p* d- t0 k* y...
6 r  _- _- c7 c7 v7 lmodule20.ctime=cycletime(20)
) y; ~1 Z8 N: I0 V8 O) h# z
* h( E# o- \. I* U( ~% r2 S4 R我希望用程序实现，但是试了很久都没有成功。
3 G& e* c/ F0 |$ s( F
具体程序为：
" O! X4 x, ~* t  o+ S  ?8 i" Ufor num=1 to 20
! K8 R1 D% T, T6 N0 ~  A& x* P3 u, `      module+num+.ctime=cycletime(num)
endfor

问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
- V3 Q1 I' Q2 f0 H  {* O主要是使用两个函数：
rvarset()和evalreal()
5 `4 L$ B, O& [! t
- o3 d# S  S8 ^/ F& R: Y6 ]具体语句：
7 n. n0 w6 D$ F; c; Irvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。