※ 引述《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是否反向

對欸=.=