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