Searched refs:ForestHps (Results 1 – 2 of 2) sorted by relevance
| /external/google-fruit/include/fruit/impl/meta/ |
| D | proof_tree_comparison.h | 34 using ForestHps = FindInMap(Forest, ProofTh); member
35 using type = If(IsNone(ForestHps), Bool<false>, IsContained(ForestHps, ProofHps));
81 using ForestHps = FindInMap(Forest, ProofTh);
82 using type = If(IsNone(ForestHps),
84 If(IsContained(ForestHps, ProofHps), Bool<true>,
85 … ConstructError(ProofNotEntailedByForestBecauseHpsNotASubsetErrorTag, ForestHps, ProofHps,
86 SetDifference(ForestHps, ProofHps))));
|
| /external/google-fruit/include/fruit/impl/ |
| D | injection_debug_errors.h | 96 template <typename ForestHps, typename ProofHps, typename Difference>
98 static_assert(AlwaysFalse<ForestHps>::value, "");
102 template <typename ForestHps, typename ProofHps, typename Difference>
103 using apply = ProofNotEntailedByForestBecauseHpsNotASubsetError<ForestHps, ProofHps, Difference>;
|