Searched refs:getAtomicConstraint (Results 1 – 2 of 2) sorted by relevance
111 AtomicConstraint *getAtomicConstraint() const;
1462 AtomicConstraint &Atomic = *N.getAtomicConstraint(); in substituteParameterMappings()1538 Constraint = new (C) AtomicConstraint(*Other.getAtomicConstraint()); in NormalizedConstraint()1839 AtomicConstraint *NormalizedConstraint::getAtomicConstraint() const { in getAtomicConstraint() function in NormalizedConstraint1980 return {{find(NC.getAtomicConstraint())}}; in Normalize()