有关于作业四目前遇到了几个问题
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]没错