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