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