Searched refs:BooleanRefinementMapping (Results 1 – 4 of 4) sorted by relevance
27 struct BooleanRefinementMapping { struct28 BooleanRefinementMapping( in BooleanRefinementMapping() argument33 BooleanRefinementMapping() = default; // empty35 static BooleanRefinementMapping FalseRefinements( in FalseRefinements() argument37 return BooleanRefinementMapping({}, std::move(false_refine)); in FalseRefinements()40 static BooleanRefinementMapping TrueRefinements(ListRefinement true_refine) { in TrueRefinements() argument41 return BooleanRefinementMapping(std::move(true_refine), {}); in TrueRefinements()44 BooleanRefinementMapping intersectBooleanRefinementMapping( in intersectBooleanRefinementMapping() argument45 BooleanRefinementMapping& other) { in intersectBooleanRefinementMapping()46 return BooleanRefinementMapping( in intersectBooleanRefinementMapping()[all …]
89 std::unordered_map<Value*, BooleanRefinementMapping>& in joinIfRefinements()163 BooleanRefinementMapping out; in joinIfRefinements()166 out = BooleanRefinementMapping::FalseRefinements(unionRefinements( in joinIfRefinements()170 out = BooleanRefinementMapping::TrueRefinements(unionRefinements( in joinIfRefinements()176 out = BooleanRefinementMapping::FalseRefinements(unionRefinements( in joinIfRefinements()180 out = BooleanRefinementMapping::TrueRefinements(unionRefinements( in joinIfRefinements()197 std::unordered_map<Value*, BooleanRefinementMapping>& info) { in handleCommonRefinentOperators()207 info[n->output()] = BooleanRefinementMapping( in handleCommonRefinentOperators()228 info[n->output()] = BooleanRefinementMapping( in handleCommonRefinentOperators()231 info[n->output()] = BooleanRefinementMapping( in handleCommonRefinentOperators()
132 ? BooleanRefinementMapping::TrueRefinements(std::move(refine)) in RefineIntegerValues()133 : BooleanRefinementMapping::FalseRefinements(std::move(refine)); in RefineIntegerValues()220 std::unordered_map<Value*, BooleanRefinementMapping> info_;
91 ? BooleanRefinementMapping::TrueRefinements(std::move(refine)) in RefineListLens()92 : BooleanRefinementMapping::FalseRefinements(std::move(refine)); in RefineListLens()148 std::unordered_map<Value*, BooleanRefinementMapping>