Searched defs:NormalizedConstraint (Results 1 – 1 of 1) sorted by relevance
81 struct NormalizedConstraint { struct87 std::pair<NormalizedConstraint, NormalizedConstraint> *, 1, argument92 NormalizedConstraint(AtomicConstraint *C): Constraint{C} { }; in NormalizedConstraint() argument93 NormalizedConstraint(ASTContext &C, NormalizedConstraint LHS, in NormalizedConstraint() argument99 NormalizedConstraint(ASTContext &C, const NormalizedConstraint &Other) { in NormalizedConstraint() function110 NormalizedConstraint(NormalizedConstraint &&Other): in NormalizedConstraint() argument114 NormalizedConstraint &operator=(const NormalizedConstraint &Other) = delete; argument130 NormalizedConstraint &getLHS() const { in getLHS() argument135 NormalizedConstraint &getRHS() const { in getRHS() argument147 static std::optional<NormalizedConstraint> argument