Searched refs:getAtomicConstraint (Results 1 – 2 of 2) sorted by relevance
102 Constraint = new (C) AtomicConstraint(*Other.getAtomicConstraint()); in NormalizedConstraint()141 AtomicConstraint *getAtomicConstraint() const { in getAtomicConstraint() function
675 AtomicConstraint &Atomic = *N.getAtomicConstraint(); in substituteParameterMappings()715 N.getAtomicConstraint()->ParameterMapping->begin()); in substituteParameterMappings()803 return {{Normalized.getAtomicConstraint()}}; in makeCNF()832 return {{Normalized.getAtomicConstraint()}}; in makeDNF()