Lines Matching refs:using
31 using EmptySet = Vector<>;
34 using ToSet1 = Vector<T>;
37 using ToSet2 = Vector<T, U>;
39 using IsInSet = IsInVector;
44 using FoldSet = FoldVector;
55 using type = FoldVector(TransformVector(S, F), Combine, CombineIdentity);
61 using TransformSet = TransformVector;
63 using SetSize = VectorSize;
65 using AddToSetUnchecked = PushFront;
70 using type = If(IsInSet(T, S), S, AddToSetUnchecked(S, T));
81 using type = And(CurrentResult, IsInSet(T, S2));
85 using type = FoldVector(S1, Helper, Bool<true>);
96 using type = Or(CurrentResult, IsInSet(T, S2));
100 using type = Not(FoldVector(S1, Helper, Bool<false>));
107 using type = Bool<false>;
113 using type = Bool<true>;
116 using SetToVector = Identity;
119 using VectorToSetUnchecked = Identity;
127 using type = If(IsInSet(T, S2), CurrentResult, AddToSetUnchecked(CurrentResult, T));
131 using type = FoldSet(S1, Helper, EmptySet);
141 using type = If(IsInSet(T, S2), AddToSetUnchecked(CurrentResult, T), CurrentResult);
145 …using type = If(GreaterThan(SetSize(S1), SetSize(S2)), SetIntersection(S2, S1), FoldSet(S1, Helper…
152 using type = If(GreaterThan(SetSize(S1), SetSize(S2)), SetUnion(S2, S1),
157 using SetUncheckedUnion = ConcatVectors;
162 using type = And(IsContained(S1, S2), IsContained(S2, S1));
173 using type = T;