作者kome5566 (j3xu.4)
看板EE_DSnP
标题[问题] SatSolver::getValue
时间Sat Jan 14 14:32:50 2012
似懂非懂地看完sat，
大概可以了解要怎麽证明了，
但spec上说可以拿counter-example来simulation，
是要用getValue来取得吗？
那是要把每个PI的Var传进去然後得到它的pattern吗？
恳请神手解惑，问题如果有点蠢请见谅> <
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.252.211
1F：推 wmin0:y 01/14 15:08
2F：推 ric2k1:每个 PI 应该都会对应到一个 SAT Var, 根据这个 varID 01/14 22:09
3F：→ ric2k1:去 call getValue() 就可以拿到 SAT 的 assignment 罗! 01/14 22:10