作者tcm2006 (葉子綠)
看板EE_DSnP
標題[問題] SatSolver initialize的作用?
時間Sat Jan 7 22:15:16 2012
大略看過Solver.cpp和Solver.h後，還是不太確定
執行initialize()後若還想使用SatSolver
需不需要重新做newVar()的動作? (因為它有個_curVar，不曉得是不是在記錄變數數量)
還是只需要重新addAigCNF()?
另外，solver學習的結果會被清掉嗎？
assumption看起來會被清掉
但其他我就不太確定了......
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.248.197
1F：推 wmin0:先call reset吧 01/08 00:20
2F：推 ric2k1:可以看一下 sat/test/ 底下的例子。 01/08 00:22