推 justmyself:老師真是即時耶...thx~ 01/17 19:23
※ 引述《justmyself (hsin)》之銘言：
: (ix) "build bdd <gateName | -all>"
: 這個指令
: 是蛇摸情形才會是成功壓
: If the <gateName> does not exist in the circuit,
: issue an error.
: If the BDD of the gate or the circuit has been built,
: issue a warning and do nothing.
: 已經存在的gateName不就已經是被建好的嗎？
: 可以舉個例子是沒有被建好而需要我們建的情形嗎？
如果你沒有先叫 "build bdd -all", 而直接想 build 某個 internal gate,
那麼這個 gate 的 BddNode 並不存在, 而必須從他執行 DFS, recursively build
the BDDs...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.130.124