AttributeError：'int'对象没有'state'属性

当我运行我现在拥有的代码时，弹出此错误。注意：我没有编写代码，我只是试图了解发生了什么，以便我可以将它移植到TuLiP的更新版本。 270AttributeError：'int'对象没有'state'属性

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

线说：

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相关条款

代码一切

如果您想了解更多信息，请让我知道

编辑

我试图线270之前添加print(aut_state)并得到-1作为一个答案。

来源

2013-02-24 NLed

所以aut是int。 Ints没有称为状态的属性。无论设置变量aut，设置为int。看起来像一个错误代码给我。查看findNextAutState的代码 - 当没有更多的AutState时它返回什么？ -1？

可能是条件检查丢失。

来源

2013-02-24 23:03:41 Pete

你说过看看findNextAutState的代码 - 当没有更多的AutState时它会返回什么。你能否澄清我应该做什么？ findNextAutState的唯一行是上面提到的260。 – NLed 2013-02-24 23:30:08

您需要使用调试器介入findeNextAutState（）（和createAut（））。 – Pete 2013-02-25 18:09:12

从回溯中可以明显看出，aut_state是一个整数，整数不能有任何属性，称为state。您的主要代码问题位于createAut()内部，该问题创建一个aut对象或在findNextAutState()函数内部返回aut_state。

来源

2013-02-25 11:09:16 kvivek

AttributeError：'int'对象没有'state'属性

回答

相关问题