作者ijb ()
看板EE_DSnP
標題[問題] bubble的問題
時間Sat Jan 13 17:01:12 2007
我要問的是處理bubble的方法
如同老師說的
standardize中的complement parameter是用來增加hit rate
所以我暫且先不管它
接著termination的部份,由於會跟return value有關,所以有處理
再來...就是到處理t與e bubble的問題了,也是我想請問大家的問題了...XD
前言好像講太多了,當賺P幣囉
=================== 這是分隔線 ==============================
對於t,e, 記得老師曾說過left child不能有bubble,若有的話
1. 把t與e的bubble都除掉,接著step 2
2. 判斷top有沒有bubble
有 ==> 把bubble移掉
沒有 ==> 加入一個bubble
但要如何加入, 我有看到isNegEdge的字眼, 但是它應該是一個BddNode::func,
不是一個data member....
那.....為什麼呼叫standardize func可以直接使用isNedEedge當參數傳入呢?
另一個問題, 我要如何將f.nodeV的值中的bubble bit改成與原來相反的呢?
哦~~對了 t = ~t; e = ~e; 應該可以解決child的bubble問題吧???
望各位高手幫忙解答啊,感激不盡!!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.42.185
推 samuelduan:in BddManager::ite(),bool isNegEdge=>local variable 01/13 17:04
→ samuelduan:BddNode::isNegEdge() =>member function 01/13 17:05
→ samuelduan:兩者應該是故意取同樣名字的 XD 01/13 17:06
推 ijb:OH~~~MY God...我竟然把這個variable mark掉當註解了 01/13 18:54
→ ijb:更絕的是standardize的isNegEdge全被我後面加() 昏倒.... 01/13 18:55