cutList-objects depending on argument typecutList-objects depending
on argument typecutListtype.type cutListif argumenttypematches 'strengthen' or 'bindTogether'typematches 'checkViolation' with TRUE if at least one
constraint is violated by the given solution