作者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