→ spock:要注意 _left 與 _right 都是 BddNode 而不是 pointer 喔 06/17 02:32
→ spock:基本上 1. 可以這麼說吧？ 2. 會 include 需要的 code。 06/17 02:33
→ spock:你就不需要寫完整個 bdd 才能開始測試。 06/17 02:33
推 BattleRoyale:2. 就直接g++吧 見lecture note2 06/17 08:32
→ ckaha:謝謝兩位~ 06/17 10:35
有兩個問題
1. BddNodeInt中的_left 和 _right
是表示著在這個Node ture聯接到_left
false聯接到_right
嗎？
2. test.cpp 要如何使用來test程式呢？
--
Every thing can be wrong unless you can proof it is true.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.225.137.53