[問題] setVar

[rockwalking (技安)]

我想問一個問題

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)
→ rockwalking:打完就突然懂了  虧我想好久 circuit建完bdd的時後
→ rockwalking:因為不知道bdd某層是哪個varible 用來查詢的=.=
推 ric2k1:同一層雖然可以有許多的 BddNodeInt*, 但是只會有一個
→ ric2k1:BddNodeInt* 它的 function = A
→ ric2k1:不過可以有許多的 BddNodes (not BddNodeInt*) 它們都包著
→ ric2k1:相同的 BddNodeInt* (A)... 而 BSETV 就是允許不同的
→ ric2k1:BddNodes 叫不同的名字 且/或 指到不同 level 的 supports
※ 編輯: rockwalking     來自: 140.112.18.43        (06/21 22:45)
→ rockwalking:還是不懂~~~不管了  硬上
推 ric2k1:關鍵 1: 要知道 _support[i] 是什麼
→ ric2k1:關鍵 2: 要知道 BddNode 是 object, BddNodeInt* 是pointer
→ ric2k1:關鍵 3: 要知道 BddNode 跟 BddNodeInt 的關係
→ muxiv: 相同的 BddNode https://moxox.com