outputTriple.addAllToPlusSet(outputTriple.getZeroSet()); outputTriple.clearZeroSet(); outputTriple.clearMinusSet(); } else if (plusMinusZero == PlusMinusZero.MINUS) { outputTriple.addAllToMinusSet(outputTriple.getZeroSet());
outputTriple.addAllToPlusSet(outputTriple.getZeroSet()); outputTriple.clearZeroSet(); outputTriple.clearMinusSet(); } else if (plusMinusZero == PlusMinusZero.MINUS) { outputTriple.addAllToMinusSet(outputTriple.getZeroSet());