for (int i = separator.getUtilityTable().tableSize()-1; i >= 0; i--) {
separator.getUtilityTable().setValue(i, dummyTable.getValue(i));
}
separator.getUtilityTable().directOpTab(separator.getPotentialTable(), PotentialTable.DIVISION_OPERATOR);
dummyTable = (PotentialTable) separator.getUtilityTable().clone();
dummyTable.directOpTab(originalSeparatorUtilityTable, PotentialTable.MINUS_OPERATOR);
clique1.getUtilityTable().opTab(dummyTable, PotentialTable.PLUS_OPERATOR);
}
}