Comparator  Description 


MinCardDiff  selects set variable which has the smallest difference in cardinality 
 between lub and glb. 
MaxCardDiff  selects set variable which has the greatest difference in cardinality 
 between lub and glb. 
MinGlbCard  selects set variable which has the glb with the smallest cardinality 
MaxGlbCard  selects set variable which has the glb with the greatest cardinality 
MinLubCard  selects set variable which has the lub with the smallest cardinality 
MaxLubCard  selects set variable which has the lub with the greatest cardinality 
MostConstrainedStatic  selects set variable which has most constraints assign to it 
MostConstrainedDynamic  selects set variable which has the most pending constraints assign to it 
