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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
- N' q  Y/ z3 d, k模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
% h1 X* @7 W: x
% _/ [" {9 v. R- ]& d现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

1 ]  R3 P) |. F2 r现在要实现：
module1.ctime=cycletime(1)
$ C, X/ J* F6 @8 [5 P0 Zmodule2.ctime=cycletime(2)
3 N3 C1 F. z9 a: Q. c! T# D...
module20.ctime=cycletime(20)
7 w1 @8 T+ s2 i" b; r# c8 n1 Q
' c, J$ h5 w$ \" J2 Z3 c, Y我希望用程序实现，但是试了很久都没有成功。
2 X6 h% b6 D( U0 D8 B5 \4 L
# c: o' q6 j( g具体程序为：
for num=1 to 20
7 b/ R2 d5 f4 j: I7 M      module+num+.ctime=cycletime(num)
endfor
  m0 t6 z- q5 E# i+ A; F: z
4 \7 }0 ^0 o0 D问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
% C4 i+ k4 I  V6 X" u主要是使用两个函数：
rvarset()和evalreal()

具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
) a6 t  k! Z; ?  Z
即可。