/** To remove a triple, remove it from <i>both</i> operands. */
@Override
public void performDelete(Triple t) {
L.delete(t);
R.delete(t);
}
/** To remove a triple, remove it from <i>both</i> operands. */
@Override
public void performDelete(Triple t) {
L.delete(t);
R.delete(t);
}
