作者bruce01j (。)
看板EE_DSnP
标题[请益] sat getValue
时间Tue Jan 15 05:31:51 2013
我想请问SAT getValue的用法
我的用法是在做完 assumpSolve() 後
如果是SAT( return true )就会呼叫
solver.getValue( PI的Var )
去拿每个值
不知道这样做有没有错
目前的状况是
fraig跑到一半时似乎还正常
但只要离开fraig的涵式
就会segmetation fault
把getValue comment掉就没事
不知道错在哪里QQ
拜托大家了 谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.24.130.142
1F：推 david942j:用法没错 如果确定这边没写错的话应该是有别的地方RE了 01/15 10:30