Searched defs:NormalizedConstraint (Results 1 – 1 of 1) sorted by relevance
82 struct NormalizedConstraint { struct88 std::pair<NormalizedConstraint, NormalizedConstraint> *, 1, argument93 NormalizedConstraint(AtomicConstraint *C): Constraint{C} { }; in NormalizedConstraint() argument94 NormalizedConstraint(ASTContext &C, NormalizedConstraint LHS, in NormalizedConstraint() argument100 NormalizedConstraint(ASTContext &C, const NormalizedConstraint &Other) { in NormalizedConstraint() function111 NormalizedConstraint(NormalizedConstraint &&Other): in NormalizedConstraint() function115 NormalizedConstraint &operator=(const NormalizedConstraint &Other) = delete; argument131 NormalizedConstraint &getLHS() const { in getLHS() argument136 NormalizedConstraint &getRHS() const { in getRHS() argument148 static Optional<NormalizedConstraint> argument