0

当我运行我当前拥有的代码时会弹出此错误。注意：我没有编写代码，我只是想了解发生了什么，以便将其移植到更新版本的 TuLiP。

Traceback (most recent call last):
  File "vms5.py", line 270, in <module>
    states = [aut_state.state]
AttributeError: 'int' object has no attribute 'state'

第 270 行说：

states = [aut_state.state]

我试图寻找state并找到这条线 249 ：

state = dict(temp = Tmax, w = 0, h = 0, b = Bmax, a = 0, c = 0, nw = 0)

aut_state在第 259 和 260行

aut = createAut(aut_file = autfile, varnames = env_vars.keys() + sys_disc_vars.keys())
aut_state = aut.findNextAutState(current_aut_state=None, env_state=state)

其他条款aut

第 47 行：

autfile = testfile+'.aut'

和 223-234 行

# Check realizability
realizability = jtlvint.checkRealizability(smv_file=smvfile, spc_file=spcfile, \
                                           aut_file=autfile, verbose=3)

# Compute an automaton
jtlvint.computeStrategy(smv_file=smvfile, spc_file=spcfile, aut_file=autfile, \
                        priority_kind=3, verbose=3)
aut = automaton.Automaton(autfile, [], 3)

这就是代码中具有aut相关术语的所有内容

如果您想了解更多信息，请告诉我

编辑

我尝试print(aut_state)在第 270 行之前添加并得到-1答案。

4

2 回答 2

0

所以aut是一个int。整数没有称为状态的属性。无论设置变量 aut，都使用 int 进行设置。对我来说看起来像一个错误代码。查看 findNextAutState 的代码 - 当没有更多的 AutStates 时它会返回什么？-1？

可能缺少条件检查。

于 2013-02-24T23:03:41.760 回答
0

从回溯可以清楚地看出它aut_state是一个整数，并且整数不能有任何名为state. 您的主要代码问题在于createAut()创建 aut 对象的内部或findNextAutState()返回的函数内部aut_state。

于 2013-02-25T11:09:16.233 回答