Searched defs:QCNF (Results 1 – 1 of 1) sorted by relevance
1413 subsumes(const NormalForm & PDNF,const NormalForm & QCNF,AtomicSubsumptionEvaluator E) subsumes() argument 1460 const NormalForm QCNF = makeCNF(*QNormalized); subsumes() local