Searched refs:DNFFormula (Results 1 – 2 of 2) sorted by relevance
186 struct DNFFormula : Formula { struct224 bool Subsumes(const DNFFormula &P, const CNFFormula &Q);231 DNFFormula DNF(const NormalizedConstraint &C);
1951 auto SubsumptionChecker::DNF(const NormalizedConstraint &C) -> DNFFormula { in DNF()1952 return SubsumptionChecker::Normalize<DNFFormula>(C); in DNF()2040 DNFFormula DNFP = DNF(*P); in Subsumes()2045 bool SubsumptionChecker::Subsumes(const DNFFormula &PDNF, in Subsumes()