Searched refs:getAtomicConstraint (Results 1 – 2 of 2) sorted by relevance
151 AtomicConstraint *getAtomicConstraint() const { in getAtomicConstraint() function
1450 AtomicConstraint &Atomic = *N.getAtomicConstraint(); in substituteParameterMappings()1525 Constraint = new (C) AtomicConstraint(*Other.getAtomicConstraint()); in NormalizedConstraint()1688 return {{Normalized.getAtomicConstraint()}}; in makeCNF()1720 return {{Normalized.getAtomicConstraint()}}; in makeDNF()