La procédure d'allocation de resources à un jeu d'activités est amenée à réduire un jeu candidat si une pleine allocation (à toutes les activités) est en échec. Les fonctions SplitToSubsets sont alors exploitées par le moteur à cet effet.
Dans la même procédure, le développement d'une spécification avec la modalité SETS invoque la fonction DispatchToSets.
Si ces fonctions sont présentées dans cette page, c'est parce qu'elle peuvent satisfaire un besoin particulier exceptionnel dans une application, lié à l'allocation de rsssources ou non.