AttributeError:“int”对象没有属性“state”

Question

当我运行当前的代码时，会弹出这个错误。 注意：我没有写代码，我只是想了解发生了什么，以便我可以移植到郁金香的新版本。在

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

第270行显示：

^{pr2}$

我试着寻找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相关的术语

---

如果你想要更多的信息，请告诉我

编辑

我试着在第270行前面加上print(aut_state)，得到了-1作为答案。在

Answer 1

所以aut是一个int，Ints没有state属性。不管怎样设置变量aut，都要用int来设置。在我看来，这就像是一个错误代码。看看findNextAutState的代码-当不再有AutStates时它返回什么？-1个？在

可能是缺少条件检查。在

Answer 2

从回溯可以清楚地看出，aut_state是一个整数，整数不能有任何名为state的属性。您的主要代码问题存在于创建aut对象的createAut()中，或者位于返回aut_state函数的{}内部。在