※ 引述《XDucka (Duck)》之铭言：
: for_each(fecGrp, fecGrps):
: Hash<SimValue, FECGroup> newFecGrps;
: for_each(gate, fecGrp)
: grp = newFecGrps.check(gate);
: if (grp != 0) // existed
: grp.add(gate);
: else createNewGroup(newFecGrps, gate);
: CollectValidFecGrp(newFecGrps, fecGrp, fecGrps);
: 有一点小看不太懂 所以凭感觉写:
: createNewGroup -> new一个vector把那个gate塞进去然后再把这个vector的指标
: forceInsert到Hash里
可以这么说
: CollectValidFecGrp -> 看他们的size是不是2以上 是的话把这个grp push_back
: 到当前的fecGrps 小于2的话立马 delete (<

教授又有一个小问题>,<是一定要看懂solver.h跟solver.cpp才能去控制sat做到一半放弃吗@@

说实在的，如果对 SAT 没有一点概念其实有点难改不过有概念之后其实也就不难改了...倒也不用完全看懂 Solver.cpp，但对于 SAT 的算法要懂

再问一个小问题>,< 每个fec group的第一个 都不要有!吗

yes不过cirg <num>的时候,有没有!是看该ID的simVal和<num>的simVal是否反向

对欸=.=