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

simulator

在Witness如何将字符串转化为数组并赋值，请赐教。
具体问题如下：
# |) e: T- y% W  J5 f; h# Q" x模型中有一个数组cycleTime(20)，已经进行了赋值，例如cycletime(1)=10,cycletime(2)=15,...,cycletime(20)=8

+ u& h2 S0 @2 p, D; ^% U现在需要根据这个值对20个Module里面的元素ctime赋值，假设module的名称分别为：module1,module2,module3,...,module20，每个module中都有个变量ctime，
! d& E  Z8 u. F
现在要实现：
* n: ^5 |# V# e# Vmodule1.ctime=cycletime(1)
module2.ctime=cycletime(2)
...
9 J2 h6 m9 u; W* I7 E6 d$ Smodule20.ctime=cycletime(20)
: u( D# y$ q9 S  F
6 a1 D6 D8 E; m6 l; R我希望用程序实现，但是试了很久都没有成功。

具体程序为：
for num=1 to 20
; l) V# M3 g# i9 {/ C7 o# P      module+num+.ctime=cycletime(num)
# C7 ]' A: D7 |0 dendfor
' x# B% `1 v* N7 Y" F% x: `/ ]
% S( U0 z+ K& B% P" E问题是左边蓝色字体怎么处理，才能够实现我要的赋值功能？？？？？？

simulator

自己解决了。
6 d) N+ D4 p) M7 Y; z$ {; B主要是使用两个函数：
rvarset()和evalreal()

1 q& B% N2 t! |" m6 n具体语句：
rvarset(evalreal("module"+num2str(num)+".ctime"))=cycletime(num)
/ b, P5 X! Z3 N4 ?/ s( |, ?
. c4 C# H( ~& y  h. B: L$ r即可。