作者SweepingMonk ((((((((((()))))))))))
看板EE_DSnP
標題[問題] 我還是不太懂support的意義
時間Fri Jun 20 01:37:19 2008
請問
_supports 在 BddMgr init 之後，是不是就不會再變動了？
如果是的話，那表示每個 level 的 supports 都是一樣的
這麼做的用意是？（既然都一樣，難道不能用share的嗎？）
還是我對supports的認知錯誤？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.70.196.195
1F：推 ric2k1:1. 是不會再變動了, 2. 每個 level 的 support 的 left and 06/20 01:49
2F：→ ric2k1:right children 一樣, 但是由於 support 自己本身的 level 06/20 01:49
3F：→ ric2k1:不一樣, 所以他們當然是不一樣的 BddNodeInt* ==> 不能雪兒 06/20 01:50