Searched refs:CNF (Results 1 – 4 of 4) sorted by relevance
194 explicit CNFFormulaBuilder(CNFFormula &CNF) in CNFFormulaBuilder()195 : Formula(CNF) {} in CNFFormulaBuilder()301 CNFFormulaBuilder builder(CNF); in buildCNF()416 return CNF; in buildCNF()430 if (CNF.clauseSize(C) == 1) { in buildCNF()450 CNFFormula CNF; member in clang::dataflow::WatchedLiteralsSolverImpl504 : CNF(buildCNF(Vals)), LevelVars(CNF.LargestVar + 1), in WatchedLiteralsSolverImpl()505 LevelStates(CNF.LargestVar + 1) { in WatchedLiteralsSolverImpl()526 if (CNF.KnownContradictory) { in solve()628 for (auto &Atomic : CNF.Atomics) { in buildSolution()[all …]
1408 >>>4 uleshort 0x0007 1-2-3 CoNFiguration, version 2.x (PGRAPH.CNF)
9375 0653 CNF, Inc.
20013 @Article{Bays:1977:CNF,