does opencascade has method about split a closed shell?

as the title, eg.

i have a box, and a plane cross it , i use the plane to split the box shell to upper half and lower half , the result those two half is open shell ?

P G's picture

use MakeHalfSpace API to get the left and right portion of a any shape.