| /dports/math/vampire/vampire-4.5.1/UnitTests/ |
| H A D | tSATSolver.cpp | 71 SATClause* getClause(const char* spec) in getClause() function
93 s.addClause(getClause("ab")); in testZICert1()
94 s.addClause(getClause("c")); in testZICert1()
126 s.addClause(getClause("a")); in testProofWithAssumptions()
127 s.addClause(getClause("A")); in testProofWithAssumptions()
179 s.addClause(getClause("ab")); in testInterface()
181 s.addClause(getClause("aB")); in testInterface()
183 s.addClause(getClause("Ab")); in testInterface()
185 s.addClause(getClause("C")); in testInterface()
262 s.addClause(getClause("ab")); in testAssumptions()
[all …]
|
| /dports/databases/phpmyadmin/phpMyAdmin-4.9.7-all-languages/vendor/phpmyadmin/sql-parser/src/Utils/ |
| H A D | Query.php | 544 public static function getClause($statement, $list, $clause, $type = 0, $skipFirst = true) function in PhpMyAdmin\\SqlParser\\Utils\\Query
685 return static::getClause($statement, $list, $old, -1, false) . ' ' .
686 $new . ' ' . static::getClause($statement, $list, $old, 0) . ' ' .
687 static::getClause($statement, $list, $old, 1, false);
690 return static::getClause($statement, $list, $old, -1, false) . ' ' .
691 $new . ' ' . static::getClause($statement, $list, $old, 1, false);
733 $ret .= static::getClause($statement, $list, $ops[0][0], -1) . ' ';
741 $ret .= static::getClause($statement, $list, $clause[0], $ops[$i + 1][0]) . ' ';
746 $ret .= static::getClause($statement, $list, $ops[$count - 1][0], 1);
|
| /dports/databases/phpmyadmin5/phpMyAdmin-5.1.2-all-languages/vendor/phpmyadmin/sql-parser/src/Utils/ |
| H A D | Query.php | 551 public static function getClause($statement, $list, $clause, $type = 0, $skipFirst = true) function in PhpMyAdmin\\SqlParser\\Utils\\Query
695 return static::getClause($statement, $list, $old, -1, false) . ' ' .
696 $new . ' ' . static::getClause($statement, $list, $old, 0) . ' ' .
697 static::getClause($statement, $list, $old, 1, false);
700 return static::getClause($statement, $list, $old, -1, false) . ' ' .
701 $new . ' ' . static::getClause($statement, $list, $old, 1, false);
738 $ret .= static::getClause($statement, $list, $ops[0][0], -1) . ' ';
749 $ret .= static::getClause($statement, $list, $clause[0], $ops[$i + 1][0]) . ' ';
753 return $ret . static::getClause($statement, $list, $ops[$count - 1][0], 1);
|
| /dports/devel/codeworker/CodeWorker4_5_3/ |
| H A D | BNFClauseCall.cpp | 350 BNFClause& myClause = getClause(); in compileCpp()
498 sString += getClause().getName(); in toString()
499 …if (!getClause().getTemplateKey().empty()) sString += "<\"" + getClause().getTemplateKey() + "\">"; in toString()
525 } else if (getClause().getPreprocessingIgnoreMode() != UNDEFINED_IGNORE) { in compileCpp()
526 IGNORE_MODE eMode = (IGNORE_MODE) getClause().getPreprocessingIgnoreMode(); in compileCpp()
537 std::string sClauseName = getClause().getName(); in compileCpp()
538 …getClause().isATemplateInstantiation()) sClauseName = "_compilerTemplateClause_" + sClauseName + "… in compileCpp()
551 …pCompilerEnvironment::getRadical(theCompilerEnvironment.getClauseModule(getClause().getName()))) <… in compileCpp()
554 EXPRESSION_TYPE exprType = getClause().getParameterType(iIndex); in compileCpp()
|
| H A D | BNFClauseCall.h | 58 inline BNFClause& getClause() const { return *_pClause; } in getClause() function
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | propbyforgraph.h | 112 const Clause* getClause() const in getClause() function
117 Clause* getClause() in getClause() function
144 else os << *propByFull.getClause();
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | propbyforgraph.h | 112 const Clause* getClause() const in getClause() function
117 Clause* getClause() in getClause() function
144 else os << *propByFull.getClause();
|
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | sat_proof_implementation.h | 102 const typename Solver::TClause& c = getClause(ref); in createLitSet()
383 const typename Solver::TClause& TSatProof<Solver>::getClause( in getClause() function
402 const typename Solver::TClause& cl = getClause(cref); in getLitVec()
468 printClause<Solver>(getClause(ref)); in print()
644 int size = getClause(reason_ref).size(); in removedDfs()
646 typename Solver::TLit v = getClause(reason_ref)[i]; in removedDfs()
810 const typename Solver::TClause& initial_reason = getClause(reason_ref); in resolveUnit()
867 for (int i = 0; i < getClause(conflict_ref).size(); ++i) { in finalizeProof()
868 const typename Solver::TClause& conflict = getClause(conflict_ref); in finalizeProof()
907 const typename Solver::TClause& minisat_cl = getClause(clause); in markDeleted()
[all …]
|
| /dports/deskutils/recoll/recoll-1.31.2/qtgui/ |
| H A D | searchclause_w.h | 38 Rcl::SearchDataClause *getClause();
|
| H A D | searchclause_w.cpp | 98 SearchDataClause *SearchClauseW::getClause() in getClause() function in SearchClauseW
|
| /dports/databases/phpmyadmin/phpMyAdmin-4.9.7-all-languages/libraries/classes/ |
| H A D | Import.php | 1453 $where = Query::getClause(
1480 $order_and_limit .= ' ORDER BY ' . Query::getClause(
1488 $order_and_limit .= ' LIMIT ' . Query::getClause(
1513 $where = Query::getClause(
1526 $order_and_limit .= ' ORDER BY ' . Query::getClause(
1534 $order_and_limit .= ' LIMIT ' . Query::getClause(
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 120 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
122 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
349 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
428 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/math/glucose/glucose-syrup-4.1/parallel/ |
| H A D | ClausesBuffer.h | 92 …bool getClause(int threadId, int & threadOrigin, vec<Lit> & resultClause, bool firstFound = false)…
|
| H A D | SharedCompanion.cc | 140 bool b = clausesBuffer.getClause(sn, threadOrigin, newclause); in getNewClause()
|
| /dports/databases/phpmyadmin5/phpMyAdmin-5.1.2-all-languages/libraries/classes/ |
| H A D | Import.php | 1544 $where = Query::getClause(
1571 $order_and_limit .= ' ORDER BY ' . Query::getClause(
1579 $order_and_limit .= ' LIMIT ' . Query::getClause(
1604 $where = Query::getClause(
1617 $order_and_limit .= ' ORDER BY ' . Query::getClause(
1625 $order_and_limit .= ' LIMIT ' . Query::getClause(
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/utils/TableGen/ |
| H A D | DirectiveEmitter.cpp | 126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses()
128 PrintError("Clause " + VerClause.getClause().getRecordName() + in HasDuplicateClauses()
369 const auto ClauseFormattedName = VerClause.getClause().getFormattedName(); in GenerateCaseForVersionedClauses()
448 << VerClause.getClause().getFormattedName() << ",\n"; in GenerateClauseSet()
|
| /dports/www/kf5-kjs/kjs-5.89.0/src/kjs/ |
| H A D | nodes2string.cpp | 821 s << n->getClause(); in streamTo()
828 s << n->getClause(); in streamTo()
834 s << n->getClause(); in streamTo()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/include/llvm/TableGen/ |
| H A D | DirectiveEmitter.h | 195 Clause getClause() const { return Clause{Def->getValueAsDef("clause")}; } in getClause() function
|