※ 引述《aknow (嘎嘎)》之銘言：
: 隨意問問
: 雖然距離這些還很遠
: other BDD operation
: cofactor
: 是說可以輸出某個 node 的 left 或 right 嗎
: existential
: 存在解？
: universal
: 全部解？ 這跟 cube traversal 有什麼不同？
: constraint restrict
: 這兩個分別是什麼 例如限定 x2 = 1 這樣嗎？
他們都是不同的 BDD oprations. 妳可以參照網頁上所附的第三篇 paper (An
Introduction to BDD) 來看這些 operations 的正規定義.
或者是你可以參照 CUDD 所支援的 functions:
http://vlsi.colorado.edu/~fabio/CUDD/cuddAllAbs.html
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.21.240