Lines Matching refs:S2
90 s_insertion(Element, S1, S2) :-
93 slist_set(L2, S2).
130 s_intersection(S1, S2, S) :-
132 slist_set(L2, S2),
137 s_delta(S1, S2, S) :-
139 slist_set(L2, S2),
145 s_remove(Element, S1, S2) :-
148 slist_set(L2, S2).
152 s_union(S1, S2, S) :-
154 slist_set(L2, S2),
159 s_dis(S1,S2) :-
161 slist_set(L2, S2),
170 s_included(S1, S2) :-
171 s_delta(S1,S2,{}).