eclipseclp/ecrc_solvers/set.pl

374 modified_bounds(max,_Set,Oldmax,Newmax) :-
376 modified_bounds(max,Set,_Oldmax,Newmax) :-
461 	    modified_bounds(max,Set,Lub,SNewmax),
690 	modified_bounds(max,S,SMax,SNewmax).
699 	modified_bounds(max,S,SMax,SNewmax),
728 	modified_bounds(max,S,SMax,Newmax),
748 	modified_bounds(max,SetY,SYMax,NewSYmax),
757 	modified_bounds(max,SetY,SYMax,NewSYmax),
770 	modified_bounds(max,SetX,SXMax,NewSXmax),
771 	modified_bounds(max,SetY,SYMax,NewSYmax),
795 /* min(S) \ max(X) < Y */
796 /* max(X) < max(S)     */
828 	modified_bounds(max,SetY, SYMax, SYnewMax),
839 	modified_bounds(max,SetY, SYMax, SYnewMax),
848 	modified_bounds(max,SetX,SXMax,XNewmax),
849 	modified_bounds(max,SetY,SYMax,YNewmax),
878 	modified_bounds(max,SetY,SYMax,YNewmax),
880 	modified_bounds(max,S,SMax,Snewmax),
898 	modified_bounds(max,SetY,SYMax,YNewmax),
900 	modified_bounds(max,S,SMax,Snewmax),
915 	modified_bounds(max,SetX,SXMax,XNewmax),
916 	modified_bounds(max,SetY,SYMax,YNewmax),
918 	modified_bounds(max,S,SMax,Snewmax),
1007 	s_union(SMin,TampSmin,Snewmin),              %Snewmax is the max union
1025 	modified_bounds(max,SetX,SXMax,XNewmax),
1026 	modified_bounds(max,SetY,SYMax,YNewmax),
1042 	modified_bounds(max,SetY,SYMax,YNewmax),
1061 	modified_bounds(max,SetX,SXMax,XNewmax),
1062 	modified_bounds(max,SetY,SYMax,YNewmax),
1064 	modified_bounds(max,S,SMax,Snewmax),
1135 	modified_bounds(max,SetX,SXMax,XNewmax),
1137 	modified_bounds(max,SetY,SYMax,YNewmax),
1163 	modified_bounds(max,SetX,SXMax,XNewmax),
1165 	modified_bounds(max,SetY,SYMax,YNewmax),
1167 	modified_bounds(max,S,SMax,SNewmax),