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

simulator

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

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

; i5 B; L. |6 Y现在要实现：
module1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
module20.ctime=cycletime(20)
4 r1 H. {% N% {5 H9 F: Y1 x' ?! u
4 P  x! j9 u* i# {* b; b6 w7 W我希望用程序实现，但是试了很久都没有成功。

具体程序为：
. h9 x' _/ S2 K; D/ H* z( efor num=1 to 20
: m2 Q) P# B$ ^1 N" B) v3 D0 T; \      module+num+.ctime=cycletime(num)
endfor
1 z9 e' y. A' s$ g
6 s- \& I5 B5 _4 e& S问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
主要是使用两个函数：
9 |! d# [$ U# ?5 T( l# wrvarset()和evalreal()

" h, ^& t" {# X. i& A( R具体语句：
% P. Q$ c3 ?& Srvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)

即可。