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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
( F! @9 T; a2 p5 K  C模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

7 b! M7 \1 a1 G( Z/ x) K5 v现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

% |3 B  W% }0 s7 {8 N: y现在要实现：
module1.ctime=cycletime(1)
4 g. N! C* j6 r& Smodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
; X! l# x+ K" h) |$ G7 m
" O! \  s9 M/ d. Z$ m2 _' O我希望用程序实现，但是试了很久都没有成功。

  b8 K# R6 z- @# N2 z% d( m6 S& S具体程序为：
6 g/ F+ e: M% Q3 hfor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor
( z$ s1 j6 r; G
! n. _  o, m5 w0 u) \$ K. ^' |3 k问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
5 X  h( b% [3 n2 E% g. F7 Q$ G主要是使用两个函数：
rvarset()和evalreal()

具体语句：
+ N6 ]7 A2 o, j: T8 ervarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

# p2 z  s8 I8 `即可。