Lines Matching refs:Set_Constraint_State
937 Set_Constraint_State (Def, Constraint);
971 Set_Constraint_State (Def, Get_Array_Constraint (Def));
1110 Set_Constraint_State (Def, Get_Array_Constraint (Def));
1111 Set_Constraint_State (Base_Type, Get_Array_Constraint (Base_Type));
1503 Set_Constraint_State (Res, Get_Constraint_State (Def));
1513 Set_Constraint_State (Res, Get_Constraint_State (Def));
1525 Set_Constraint_State (Res, Get_Constraint_State (Def));
1574 Set_Constraint_State (Res, Fully_Constrained);
1803 Set_Constraint_State (Res, Get_Array_Constraint (Res));
1988 Set_Constraint_State (Res, Get_Constraint_State (Type_Mark));
2160 Set_Constraint_State (Res, Constraint);
2165 Set_Constraint_State (Res, Get_Constraint_State (Type_Mark));
2528 Set_Constraint_State (St_Def, Get_Constraint_State (Def));
2637 Set_Constraint_State (Arr, Get_Array_Constraint (Arr));
2718 Set_Constraint_State (Def, Constraint);
2766 Set_Constraint_State (St_Def, Get_Constraint_State (Def));