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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
( c! {) f" i  t" x, c# W模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

0 h: A  W. {( F, h# x3 C现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，

" L9 q, l( V' q4 P现在要实现：
module1.ctime=cycletime(1)
0 d. _* I" V- Tmodule2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
! O7 W: N" c. B+ R
我希望用程序实现，但是试了很久都没有成功。

具体程序为：
5 u/ f6 ?/ I% z' V$ H$ Tfor num=1 to 20
      module+num+.ctime=cycletime(num)
7 H& e/ H5 T8 `  H, z- n3 q1 k' D  Mendfor

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

simulator

自己解决了。
* }% l- o8 ]" r% n( R# v主要是使用两个函数：
rvarset()和evalreal()

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

即可。