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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
* M5 j3 s+ [; M; H+ L* U具体问题如下：
模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8
) z8 z4 u$ r; W% L9 n: F6 o
现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
$ \3 m" u# m+ S: g
; V0 y" c: Z, D1 ~! g  c9 o现在要实现：
module1.ctime=cycletime(1)
4 v- o, Z# x- H( O, y# _module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
  l- g, L, u7 c' X1 D% `
2 i! G0 l$ H' f, [4 q我希望用程序实现，但是试了很久都没有成功。
/ _+ l# c0 d) H
具体程序为：
for num=1 to 20
3 i- t$ p7 l6 `; z      module+num+.ctime=cycletime(num)
endfor

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

simulator

自己解决了。
$ w0 m- G) p8 ?: g) p' p主要是使用两个函数：
rvarset()和evalreal()

具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。