作者rockwalking (技安)
看板EE_DSnP
標題[問題] setVar
時間Sun Jun 21 22:25:05 2009
我想問一個問題
command有一個BSETVar 的指令
就是把某個level指定成某個input Variable
然後BddMgr裡面只有一個_bddMap(map<const string, size_t>);
也就是說我能把support裡面的BddNode丟到_bddMap(variable,bddNode._nodeV);
可是我感覺很雞肋的原因是同一層可能會有很多bddNodeInt ，然後假設此
variable 是 A ,然後啥都不能做，所以此指令的意義在於?
BSIMulate也不用variable simulate
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.18.43
※ 編輯: rockwalking 來自: 140.112.18.43 (06/21 22:25)
※ 編輯: rockwalking 來自: 140.112.18.43 (06/21 22:26)
1F：→ rockwalking:打完就突然懂了 虧我想好久 circuit建完bdd的時後 06/21 22:30
2F：→ rockwalking:因為不知道bdd某層是哪個varible 用來查詢的=.= 06/21 22:30
3F：推 ric2k1:同一層雖然可以有許多的 BddNodeInt*, 但是只會有一個 06/21 22:32
4F：→ ric2k1:BddNodeInt* 它的 function = A 06/21 22:32
5F：→ ric2k1:不過可以有許多的 BddNodes (not BddNodeInt*) 它們都包著 06/21 22:33
6F：→ ric2k1:相同的 BddNodeInt* (A)... 而 BSETV 就是允許不同的 06/21 22:35
7F：→ ric2k1:BddNodes 叫不同的名字 且/或 指到不同 level 的 supports 06/21 22:36
※ 編輯: rockwalking 來自: 140.112.18.43 (06/21 22:45)
8F：→ rockwalking:還是不懂~~~不管了 硬上 06/21 22:48
9F：推 ric2k1:關鍵 1: 要知道 _support[i] 是什麼 06/21 23:42
10F：→ ric2k1:關鍵 2: 要知道 BddNode 是 object, BddNodeInt* 是pointer 06/21 23:43
11F：→ ric2k1:關鍵 3: 要知道 BddNode 跟 BddNodeInt 的關係 06/21 23:45