Lines Matching refs:S2
53 S `:: {}.. {1,3,5}, S1 `:: {1} .. {1,3,4}, S2 `::{3,4}..{3,4,5},
54 all_disjoint([S,S1,S2]).
58 S2 = S2{{3, 4} .. {3, 4, 5}}
61 S{{} .. {5}} dis_s S2{{3, 4} .. {3, 4, 5}}
471 [eclipse 2]: S `:: {}.. {1,2,3}, [S1,S2] `:: {}..{3,4,5},
472 S \\/ S1 `= S2.
476 S2 = S2{{} .. {3, 4, 5}}
480 S2{{} .. {3, 4, 5}})