Interface SeparateHalfspaceFactor