Member predicate Splitting::SplitKind::isMandatory

Holds if a split of this kind is mandatory. That is, a split of this kind must be taken into account, regardless of whether we might exceed the maximum number of splits (maxSplits()).

predicate isMandatory()