Searched refs:CONSTRAINT_SIZE (Results 1 – 1 of 1) sorted by relevance
86 CONSTRAINT_SIZE, enumerator178 case CONSTRAINT_SIZE: in constraint_cf_gen()335 ap.type = CONSTRAINT_SIZE; in constraint_cf_gen()606 case CONSTRAINT_SIZE: in constraint_violation()