Searched refs:getAtomicConstraint (Results 1 – 2 of 2) sorted by relevance
101 Constraint = new (C) AtomicConstraint(*Other.getAtomicConstraint()); in NormalizedConstraint()140 AtomicConstraint *getAtomicConstraint() const { in getAtomicConstraint() function
1218 AtomicConstraint &Atomic = *N.getAtomicConstraint(); in substituteParameterMappings()1355 return {{Normalized.getAtomicConstraint()}}; in makeCNF()1384 return {{Normalized.getAtomicConstraint()}}; in makeDNF()