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_state259行目と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_stateあり、整数は と呼ばれる属性を持つことはできませんstate。主なコードの問題はcreateAut()、 aut オブジェクトを作成する の内部またはfindNextAutState()を返す関数の内部にありますaut_state。

于 2013-02-25T11:09:16.233 に答える
0

したがって、auto は int です。Int には state という属性がありません。変数 aut を設定するものは何でも、int で設定します。私にはエラーコードのように見えます。findNextAutState のコードを見てください。AutState がなくなった場合、何を返しますか? -1?

おそらく状態チェックが欠落しています。

于 2013-02-24T23:03:41.760 に答える