[問題] SatSolver initialize的作用?

[tcm2006 (葉子綠)]

大略看過Solver.cpp和Solver.h後，還是不太確定

執行initialize()後若還想使用SatSolver

需不需要重新做newVar()的動作? (因為它有個_curVar，不曉得是不是在記錄變數數量)

還是只需要重新addAigCNF()?

另外，solver學習的結果會被清掉嗎？


assumption看起來會被清掉

但其他我就不太確定了......

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.248.197
推 wmin0:先call reset吧
推 ric2k1:可以看一下 sat/test/ 底下的例子。