1. PTT
  2. EE_DSnP

[請益] sat getValue

作者: bruce01j (。)   2013-01-15 05:31:51
我想請問SAT getValue的用法
我的用法是在做完 assumpSolve() 後
如果是SAT( return true )就會呼叫
solver.getValue( PI的Var )
去拿每個值
不知道這樣做有沒有錯
目前的狀況是
fraig跑到一半時似乎還正常
但只要離開fraig的涵式
就會segmetation fault
把getValue comment掉就沒事
不知道錯在哪裡QQ
拜託大家了 謝謝
作者: david942j (文旋)   2013-01-15 10:30:00
用法沒錯 如果確定這邊沒寫錯的話應該是有別的地方RE了
繼續閱讀
[問題] cirmiter的用法?yan12125[閒聊] compiler累了wyc2010[問題] Solver::propagate(): Assertionstanleysu[問題] Selfcheck不會過david942j[討論] strash的神秘現象??shps90060505Re: [情報] SAT 之使用XDucka[問題] SatSolver Aborted() 已解決david942j[問題]segmentation fault在SatSolver內發生(已解決)taldehydeRe: [公告] Final Project Updatesric2k1Re: [問題] Ref的小問題ric2k1

Links booklink

Contact Us: admin [ a t ] ucptt.com