/* Types of processor-sets */