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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
6 i8 G' c# I# K3 @具体问题如下：
3 x2 `0 A6 ?) i) ^% M  g$ f( @模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

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

现在要实现：
module1.ctime=cycletime(1)
1 S: O; I: H& v( O5 m3 bmodule2.ctime=cycletime(2)
...
% x$ U9 T* s9 V  I) L. B+ imodule20.ctime=cycletime(20)
5 L/ R. R& a1 \+ s7 n' e4 D
( \+ E1 u! Y+ L. p! u我希望用程序实现，但是试了很久都没有成功。

具体程序为：
8 G7 b, N: A) ^2 n3 N( i1 ifor num=1 to 20
* q7 k$ H1 L$ T; b$ V5 I2 ~: ]      module+num+.ctime=cycletime(num)
9 w$ A! {/ Z! @: c! u' j' eendfor

# n6 p  N1 b) r问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
rvarset()和evalreal()
. |" ], E: m6 b, ^8 x
具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。