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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
7 v, a8 F* n  V; K3 C- J具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

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

! ~$ J5 q2 Y5 ]2 K' N: r, z  N2 F现在要实现：
' |% T2 e7 a' J7 `( cmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
# u: x) {1 R6 N$ l...
! ?/ }) W1 r* r: V, J: s. }* s/ D& k4 ^module20.ctime=cycletime(20)

' O: `/ N- W/ h# P我希望用程序实现，但是试了很久都没有成功。
) G: u% s$ H" X5 J0 o- t$ ~" E
2 d8 j9 g) ]4 {; v具体程序为：
2 g" ~4 Z7 m3 U' E4 [for num=1 to 20
      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
主要是使用两个函数：
. ]$ H. F+ D$ g" hrvarset()和evalreal()

( I! |5 K6 |6 z1 d% s具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。