data structure related to constraint.