Lines Matching refs:S1
53 S `:: {}.. {1,3,5}, S1 `:: {1} .. {1,3,4}, S2 `::{3,4}..{3,4,5},
54 all_disjoint([S,S1,S2]).
57 S1 = {1}
81 [eclipse 13]: S `:: {}.. {1,2,3,5}, S1 `:: {1} .. {1,2,3,4},
82 all_union([S, S1],{1,2,3,4,5}).
85 S1 = S1{{1, 4} .. {1, 2, 3, 4}}
89 S1{{1, 4} .. {1, 2, 3, 4}}, {1, 2, 3, 4, 5})
118 eclipse 3]: S `:: {}..{c,d}, S1= {1,2,3}, #(S \\/ S1, V).
121 S1 = {1, 2, 3}
155 [eclipse 3]: S `:: {}.. {1,2,3},S1 `:: {1} .. {1,2,3,4},
156 S `<> S1.
159 S1 = S1{{1} .. {1, 2, 3, 4}}
162 S{{} .. {2, 3}} dis_s S1{{1} .. {1, 2, 3, 4}}
471 [eclipse 2]: S `:: {}.. {1,2,3}, [S1,S2] `:: {}..{3,4,5},
472 S \\/ S1 `= S2.
475 S1 = S1{{} .. {3, 4, 5}}
479 union_s(S{{} .. {3}}, S1{{} .. {3, 4, 5}},
596 [eclipse 3]: S `:: {1}.. {1,2,3,4}, S1 `:: {} .. {1,2,3},
597 S `< S1.
599 S1 = S1{{1} .. {1, 2, 3}}
603 S1{{1} .. {1, 2, 3}} sub_s S{{1} .. {1, 2, 3}}