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
736 AtomicConstraint &Atomic = *N.getAtomicConstraint(); in substituteParameterMappings()776 N.getAtomicConstraint()->ParameterMapping->begin()); in substituteParameterMappings()857 return {{Normalized.getAtomicConstraint()}}; in makeCNF()886 return {{Normalized.getAtomicConstraint()}}; in makeDNF()