Home
last modified time | relevance | path

Searched refs:CNF (Results 1 – 9 of 9) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DWatchedLiteralsSolver.cpp39 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 DCNFFormula.cpp36 explicit CNFFormulaBuilder(CNFFormula &CNF) : Formula(CNF) {} in CNFFormulaBuilder()
153 CNFFormula CNF(NextVar - 1); in buildCNF() local
155 CNFFormulaBuilder builder(CNF); in buildCNF()
180 CNF.addClause(F->literal() ? posLit(Var) : negLit(Var)); in buildCNF()
270 return CNF; in buildCNF()
283 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in buildCNF()
284 if (CNF.clauseSize(C) == 1) { in buildCNF()
285 FinalBuilder.addClause(CNF.clauseLiterals(C)[0]); in buildCNF()
290 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in buildCNF()
291 FinalBuilder.addClause(CNF.clauseLiterals(C)); in buildCNF()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h141 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/contrib/llvm-project/clang/include/clang/Sema/
H A DSemaConcept.h230 CNFFormula CNF(const NormalizedConstraint &C);
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp1948 auto SubsumptionChecker::CNF(const NormalizedConstraint &C) -> CNFFormula { in CNF() function in SubsumptionChecker
2041 CNFFormula CNFQ = CNF(*Q); in Subsumes()
/freebsd/lib/libc++/
H A DMakefile657 INCSGROUPS+= CNF
665 CNF+= ${HDRDIR}/__configuration/${hdr}
/freebsd/contrib/file/magic/Magdir/
H A Dmsdos1885 >>>4 uleshort 0x0007 1-2-3 CoNFiguration, version 2.x (PGRAPH.CNF)
/freebsd/share/misc/
H A Dusb_vendors9420 0653 CNF, Inc.
/freebsd/contrib/one-true-awk/testdir/
H A Dfunstack.in20013 @Article{Bays:1977:CNF,