Lines Matching refs:S1
76 template <typename S1, typename S2>
85 using type = FoldVector(S1, Helper, Bool<true>);
91 template <typename S1, typename S2>
100 using type = Not(FoldVector(S1, Helper, Bool<false>));
122 template <typename S1, typename S2>
131 using type = FoldSet(S1, Helper, EmptySet);
136 template <typename S1, typename S2>
145 …using type = If(GreaterThan(SetSize(S1), SetSize(S2)), SetIntersection(S2, S1), FoldSet(S1, Helper…
150 template <typename S1, typename S2>
152 using type = If(GreaterThan(SetSize(S1), SetSize(S2)), SetUnion(S2, S1),
153 FoldSet(SetDifference(S1, S2), AddToSetUnchecked, S2));
160 template <typename S1, typename S2>
162 using type = And(IsContained(S1, S2), IsContained(S2, S1));