split

abstract fun split(unsplitPartition: P, opaqueStateValues: List<OpaqueStateValue>): List<P>

Subdivides the unsplitPartition by splitting at the opaqueStateValues, if possible.