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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
% ?; M" I' l! ]) {: q8 K% a  ?具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
3 g( ]: B% r* @+ j: a; x1 Y
( W: W& u9 K7 f, C! f+ f5 n现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
, o7 y0 |2 z, W$ c* Cmodule20.ctime=cycletime(20)
: M# r# B/ w2 H0 l
我希望用程序实现，但是试了很久都没有成功。

3 a$ b% h3 T9 L2 ~8 P6 k/ H- w具体程序为：
' h% U) a7 T; I+ X3 G1 L% dfor num=1 to 20
      module+num+.ctime=cycletime(num)
  k% F. U7 d7 N( N% M+ C4 tendfor
, r3 b5 M7 b8 z- p, F- H6 V
9 |9 ]& Z# [9 ]9 N, ?& ]问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
% e  w$ _; p( ]9 @% x, s, s主要是使用两个函数：
rvarset()和evalreal()

  a$ B/ F; ?- i4 r( O具体语句：
1 n1 \2 S! T+ brvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。