有關於作業四目前遇到了幾個問題
1. 我想要建立DFF fanin cone的BDD，看CirGate的資料結構，可以藉由CirGate[0]得到
fanin gate，可是實際這樣用卻得到的是自己這個DFF(？)，如果要得到fanin cone，必須
要用CirGate[0][0]，這樣做出來感覺是對的，但不知道是否合理？(二維？)
2. 作業題目有關於PTR的部份TR和TRI順序好像跟程式不一致
題目是PTR TR TRI; 程式是PTR TRI TR
3. 有關於BddNode exist()的功能，不知道大家有沒有問題，我用了不會作existential
quantification...(e.g., _tr.exit(2);)，這個功能應該不需要自己implement吧？
不知道有沒有人可以幫我解答一下~

exist()我自己解決了，重新assign給_tr就可以了Orz...

你可以印出該DFF fanin cone給我們看看嗎?可能是combloop

我覺得可能只是指標使用上的問題...用(*dff_list[i])[0]和dff_list[i][0][0]結果一樣...(指標不是很熟...)

恩對，可以用(*dff_list)[0]來讀dff的fanin[0]另外dff_list[0]跟 *dff_list是同樣的而基本上是不能對指標作dff_list[1~x]，會讀到未給定的mem修正一下，我眼殘把dff_list看成指標，dff_list應該是list所以是(*dff_list[i])[0]沒錯