Searched refs:CNF (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 39 CNFFormula CNF; member in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl
110 : Atomics(), CNF(buildCNF(Vals, Atomics)), in WatchedLiteralsSolverImpl()
111 LevelVars(CNF.largestVar() + 1), LevelStates(CNF.largestVar() + 1) { in WatchedLiteralsSolverImpl()
115 if (CNF.knownContradictory()) in WatchedLiteralsSolverImpl()
120 const size_t NumLiterals = 2 * CNF.largestVar() + 1; in WatchedLiteralsSolverImpl()
122 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in WatchedLiteralsSolverImpl()
124 Literal FirstLit = CNF.clauseLiterals(C).front(); in WatchedLiteralsSolverImpl()
135 VarAssignments.resize(CNF.largestVar() + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()
138 for (Variable Var = CNF.largestVar(); Var != NullVar; --Var) { in WatchedLiteralsSolverImpl()
147 if (CNF.knownContradictory()) { in solve()
[all …]
|
| H A D | CNFFormula.cpp | 36 explicit CNFFormulaBuilder(CNFFormula &CNF) : Formula(CNF) {} in CNFFormulaBuilder()
154 CNFFormula CNF(NextVar - 1); in buildCNF() local
156 CNFFormulaBuilder builder(CNF); in buildCNF()
181 CNF.addClause(F->literal() ? posLit(Var) : negLit(Var)); in buildCNF()
271 return CNF; in buildCNF()
284 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in buildCNF()
285 if (CNF.clauseSize(C) == 1) { in buildCNF()
286 FinalBuilder.addClause(CNF.clauseLiterals(C)[0]); in buildCNF()
291 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in buildCNF()
292 FinalBuilder.addClause(CNF.clauseLiterals(C)); in buildCNF()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | CNFFormula.h | 141 CNFFormula *CNF; variable
143 Iterator(CNFFormula *CNF, size_t Idx) : CNF(CNF), Idx(Idx) {} in Iterator() argument
151 assert(Idx < CNF->Clauses.size() && "Iterator out of bounds");
161 Literal &operator*() const { return CNF->Clauses[Idx]; }
|
| /freebsd/lib/libc++/ |
| H A D | Makefile | 638 INCSGROUPS+= CNF
646 CNF+= ${HDRDIR}/__configuration/${hdr}
|
| /freebsd/contrib/file/magic/Magdir/ |
| H A D | msdos | 1878 >>>4 uleshort 0x0007 1-2-3 CoNFiguration, version 2.x (PGRAPH.CNF)
|
| /freebsd/share/misc/ |
| H A D | usb_vendors | 9375 0653 CNF, Inc.
|
| /freebsd/contrib/one-true-awk/testdir/ |
| H A D | funstack.in | 20013 @Article{Bays:1977:CNF,
|