add constraint satisfication functions to constraint class