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