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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
7 H! v  [8 \6 {' J$ C: x* h2 g- U* N具体问题如下：
# y4 p# o3 b1 U3 D$ H! r( o模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

* v3 N" E2 L# d  X9 I现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

现在要实现：
1 `7 W9 c! p3 W0 X# I- V1 c: z% i9 ^module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
8 ~; S% j3 ?2 m( _! t...
. t' J% q1 t# H; t6 h8 g, zmodule20.ctime=cycletime(20)

' B7 b1 k1 u# y我希望用程序实现，但是试了很久都没有成功。
  {1 d6 s& m" `/ f4 c4 M, d
$ p( B8 t6 n. q% E- B具体程序为：
) N7 j) N8 M* }  l6 \5 dfor num=1 to 20
      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
. l! X/ `* w! V3 i  g% F主要是使用两个函数：
rvarset()和evalreal()
6 \  z9 S% u6 ?  v  v  Z, {
0 z5 n) S" D, N4 h6 @. {具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
3 e& m- t4 p. z# |' R  V& I
即可。