Searched defs:RefinementSet (Results 1 – 1 of 1) sorted by relevance
85 struct RefinementSet { struct90 using Refinements = std::vector<Refinement>;92 RefinementSet(Refinements true_refinements, Refinements false_refinements) in RefinementSet() argument95 RefinementSet(Refinement single) : RefinementSet({std::move(single)}, {}) {} in RefinementSet() function96 RefinementSet(Refinement single_true, Refinement single_false) in RefinementSet() function101 RefinementSet And(const RefinementSet& rhs) const { in And()110 RefinementSet Or(const RefinementSet& rhs) const { in Or()120 RefinementSet Not() const { in Not()123 const std::vector<Refinement> activeRefinements() const { in activeRefinements()128 static bool sameVar(const Refinement& a, const Refinement& b) { in sameVar()[all …]