// System.out.println("become \n"+ sepsetPT.toString());
PT targetPT = target.getPt();
SubtableFastMap2 fmap2 = target.getSubtableOpFastMap(jtedge);
targetPT.multiplyAndDivideBySubtableFast(sepsetPT, oldSepsetPT, fmap2);
}
public void unmarkAll() {
Set<JTVertexHugin> vertexSet = this.vertexSet();