※ 引述《kahang (終於大四了耶^^)》之銘言：
: 標題: Re: [問題] 關於standardize
: 時間: Sun Jan 7 20:56:00 2007
:
: ※ 引述《ric2k1 (Ric)》之銘言：
: : ※ 引述《kahang (終於大四了耶^^)》之銘言：
:
: : XOR 會有 bug 通常是 bubble 移得不對...
:
: 前文恕刪
:
: 我記得老師上課時說把左右邊child的bubble弄走的方法是 t = ~t
: 然後把自己的bubble弄走是把inNegEdge negate一下
: 所以我在move bubble的地方的想法是
:
: if (t.isNegEdge())
: {
: t = ~t;
: e = ~e;
: isNegEdge = !isNegEdge;
: }
:
: 嗚是我想得太簡單嗎>"<
: XOR的bug還沒有找出來T.T
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 140.112.247.168
: ※ 編輯: kahang 來自: 140.112.247.168 (01/07 20:56)
: 推 timrau:其實就是這樣 01/07 21:24
: → timrau:ite()裡面的每個return都要處理isNegEdge 01/07 21:25
: 推 kahang:嗯..我也有檢查這個，可是不知為什麼XOR就是不大對囧 01/07 21:30
: → kahang:可以給我一些建議嗎><" 01/07 21:31
: 推 kahang:囧...好像是跟_computedTable有關><把它註解掉好像正常了 01/07 22:36
還有一件事情, 也許可以給大家提示一下....
就是 ---
假設 R = ITE(F, G, H), // Note: R 可能有, 也可能沒有 bubble...
那麼存進 computed cache 裡面的是 ??? (如何看待 R 的 bubble?)
又讀出來的是??? (有沒有 bubble?)
比方說, (F, 1, 0) 與 (F, 0, 1) 經過 standardize() 過後存進 computed cache
裡面的, 是同一個 key 嗎?
想一想...
不過不要把答案公佈出來, 讓大家也有思考這個問題的機會...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.129.139