Searched refs:DNF (Results 1 – 2 of 2) sorted by relevance
231 DNFFormula DNF(const NormalizedConstraint &C);
1951 auto SubsumptionChecker::DNF(const NormalizedConstraint &C) -> DNFFormula { in DNF() function in SubsumptionChecker2040 DNFFormula DNFP = DNF(*P); in Subsumes()