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
692 AtomicConstraint &Atomic = *N.getAtomicConstraint(); in substituteParameterMappings()732 N.getAtomicConstraint()->ParameterMapping->begin()); in substituteParameterMappings()820 return {{Normalized.getAtomicConstraint()}}; in makeCNF()849 return {{Normalized.getAtomicConstraint()}}; in makeDNF()