Lines Matching refs:S1
90 s_insertion(Element, S1, S2) :-
91 slist_set(L1, S1),
130 s_intersection(S1, S2, S) :-
131 slist_set(L1, S1),
137 s_delta(S1, S2, S) :-
138 slist_set(L1, S1),
145 s_remove(Element, S1, S2) :-
146 slist_set(L1, S1),
152 s_union(S1, S2, S) :-
153 slist_set(L1, S1),
159 s_dis(S1,S2) :-
160 slist_set(L1, S1),
170 s_included(S1, S2) :-
171 s_delta(S1,S2,{}).