Searched refs:makeCNF (Results 1 – 1 of 1) sorted by relevance
1353 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF() function1357 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()1358 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()1460 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes()1570 const NormalForm CNF1 = makeCNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1576 const NormalForm CNF2 = makeCNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()