Searched refs:IsContained (Results 1 – 5 of 5) sorted by relevance
| /external/google-fruit/include/fruit/impl/meta/ |
| D | set.h | 75 struct IsContained { struct
162 using type = And(IsContained(S1, S2), IsContained(S2, S1));
|
| D | proof_tree_comparison.h | 35 using type = If(IsNone(ForestHps), Bool<false>, IsContained(ForestHps, ProofHps));
84 If(IsContained(ForestHps, ProofHps), Bool<true>,
|
| D | component.h | 968 If(Not(IsContained(typename EntailedComp::Ps, typename Comp::Ps)),
975 If(Not(IsContained(CompRs, EntailedCompRs)),
978 If(Not(IsContained(SetIntersection(CommonRs, typename Comp::NonConstRsPs),
984 … If(Not(IsContained(SetIntersection(CommonPs, typename EntailedComp::NonConstRsPs),
|
| /external/google-fruit/include/fruit/impl/ |
| D | injector.defn.h | 64 If(Not(IsContained(VectorToSetUnchecked(RemoveConstFromTypes(Vector<Type<P>...>)),
67 If(Not(IsContained(VectorToSetUnchecked(RemoveConstTypes(Vector<Type<P>...>)),
|
| /external/clang/lib/Sema/ |
| D | SemaChecking.cpp | 6066 bool &IsContained) { in getContainedDynamicClass() argument
6069 IsContained = false; in getContainedDynamicClass()
6086 IsContained = true; in getContainedDynamicClass()
6242 bool IsContained; in CheckMemaccessArguments() local
6244 getContainedDynamicClass(PointeeTy, IsContained)) { in CheckMemaccessArguments()
6262 << FnName << IsContained << ContainedRD << OperationType in CheckMemaccessArguments()
|