推 timrau:if(cirMgr != 0) then circuit was read. 01/19 22:24
推 pg30123:thx 01/19 22:35
推 ric2k1:建議使用 Circuit class 中有關 _bddVarOrder 的 functions 01/20 00:28
類似的問題 就是reference program在讀入circuit之後
若執行bsetv -PI -F時發生
Error: support size is smaller than the circuit input size!!
那_bddVarOrder還是會改到的樣子，之後再執行bsetv -PI -F時就變成
Error: circuit BDD variable order has been set!!
另外想問一下 在哪裡可以看到是不是已經讀入circuit了啊
還是要自己檢查TOTAL_GATE的數量?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.4.76