Lines Matching refs:S1
61 s_insertion(Element, S1, S2) :-
62 slist_set(L1, S1),
68 s_remove(Element, S1, S2) :-
69 slist_set(L1, S1),
128 s_intersection(S1, S2, S) :-
129 slist_set(L1, S1),
136 s_delta(S1, S2, S) :-
137 slist_set(L1, S1),
144 s_union(S1, S2, S) :-
145 slist_set(L1, S1),
201 s_included(S1, S2) :-
202 s_intersection(S1, S2, S),
203 s_equality(S1, S).