作者ckaha (★闪亮数学推理★)
看板EE_DSnP
标题[问题] 又来问一些问题
时间Tue Jun 17 02:11:30 2008
有两个问题
1. BddNodeInt中的_left 和 _right
是表示着在这个Node ture联接到_left
false联接到_right
吗？
2. test.cpp 要如何使用来test程式呢？
--
Every thing can be w
rong unless you can proof it is
true.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 125.225.137.53
1F：→ spock:要注意 _left 与 _right 都是 BddNode 而不是 pointer 喔 06/17 02:32
2F：→ spock:基本上 1. 可以这麽说吧？ 2. 会 include 需要的 code。 06/17 02:33
3F：→ spock:你就不需要写完整个 bdd 才能开始测试。 06/17 02:33
4F：推 BattleRoyale:2. 就直接g++吧 见lecture note2 06/17 08:32
5F：→ ckaha:谢谢两位~ 06/17 10:35