Lines Matching refs:S1
129 seteval(S, S1) :-
131 S = S1.
132 seteval(S \/ S1, Re) :- !,
134 seteval(S1, R1),
136 seteval(S /\ S1, Re) :- !,
138 seteval(S1, R1),
140 seteval(S \ S1, Re) :- !,
142 seteval(S1, R1),
148 S `<> S1 :-
150 seteval(S1, R1),
153 S `= S1 :-
155 seteval(S1, R).
165 S `< S1 :-
167 seteval(S1, R1),
426 included(S, S1) :-
427 s_included(S,S1).
671 S sub_s S1 :-
673 set(S1),
675 s_included(S,S1).
676 S sub_s S1 :-
678 set_range(S1,S1Min,S1Max),
682 modified_bounds(min,S1,S1Min,S1Newmin).
684 S sub_s S1 :-
685 set(S1),
688 s_included(SMin,S1),
689 s_intersection(SMax,S1,SNewmax),
692 S sub_s S1 :-
693 set_range(S1,S1Min,S1Max),
698 modified_bounds(min,S1,S1Min,S1Newmin),
700 ( var(S),var(S1) -> suspend(S sub_s S1, 2, [S,S1]->del_any) ; true ),
792 /*-----------------------------------------------------------union (S1,S2,S3)-*/
812 s_delta(SMax,XNewmax,Saddelts), % from S1 and S2 min.
956 /*-----------------------------------------------------intersection (S1,S2,S)-*/
1036 s_intersection(SetX,SYMax,S1),
1037 s_included(S,S1),