/dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/schema/ |
H A D | json_schema_parser.cpp | 525 auto existsExpr = stdx::make_unique<ExistsMatchExpression>(); in translateRequired() local 526 invariantOK(existsExpr->init(propertyName)); in translateRequired() 529 andExpr->add(existsExpr.release()); in translateRequired() 532 auto objectMatchStatus = objectMatch->init(std::move(existsExpr), path); in translateRequired() 585 auto existsExpr = stdx::make_unique<ExistsMatchExpression>(); in parseProperties() local 586 invariantOK(existsExpr->init(property.fieldNameStringData())); in parseProperties() 589 invariantOK(notExpr->init(existsExpr.release())); in parseProperties() 781 auto existsExpr = stdx::make_unique<ExistsMatchExpression>(); in makeDependencyExistsClause() local 782 invariantOK(existsExpr->init(dependencyName)); in makeDependencyExistsClause() 785 return {std::move(existsExpr)}; in makeDependencyExistsClause() [all …]
|
/dports/mail/phplist/phplist-3.6.6/public_html/lists/base/vendor/doctrine/orm/lib/Doctrine/ORM/Query/ |
H A D | TreeWalkerChain.php | 382 public function walkExistsExpression($existsExpr) argument 385 $walker->walkExistsExpression($existsExpr);
|
H A D | TreeWalkerAdapter.php | 304 public function walkExistsExpression($existsExpr) argument
|
H A D | TreeWalker.php | 307 function walkExistsExpression($existsExpr); argument
|
H A D | SqlWalker.php | 1894 public function walkExistsExpression($existsExpr) argument 1896 $sql = ($existsExpr->not) ? 'NOT ' : ''; 1898 $sql .= 'EXISTS (' . $this->walkSubselect($existsExpr->subselect) . ')';
|
/dports/finance/prestashop/prestashop/vendor/doctrine/orm/lib/Doctrine/ORM/Query/ |
H A D | TreeWalkerChain.php | 441 public function walkExistsExpression($existsExpr) argument 444 $walker->walkExistsExpression($existsExpr);
|
H A D | TreeWalkerAdapter.php | 360 public function walkExistsExpression($existsExpr) argument
|
H A D | TreeWalker.php | 307 function walkExistsExpression($existsExpr); argument
|
H A D | SqlWalker.php | 1910 public function walkExistsExpression($existsExpr) argument 1912 $sql = ($existsExpr->not) ? 'NOT ' : ''; 1914 $sql .= 'EXISTS (' . $this->walkSubselect($existsExpr->subselect) . ')';
|
/dports/math/cvc3/cvc3-2.4.1/src/theorem/ |
H A D | common_theorem_producer.h | 113 Theorem rewriteNotExists(const Expr& existsExpr);
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | common_proof_rules.h | 282 virtual Theorem rewriteNotExists(const Expr& existsExpr) = 0;
|
H A D | vc.h | 779 virtual Expr existsExpr(const std::vector<Expr>& vars, const Expr& body) = 0;
|
H A D | vcl.h | 355 Expr existsExpr(const std::vector<Expr>& vars, const Expr& body);
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Solver/ |
H A D | Yices.hs | 480 existsExpr vars t = binder_app "exists" (uncurry varBinding <$> vars) t function
|
/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/ |
H A D | ValidityChecker_impl.cpp | 651 return embed_copy(env, vc->existsExpr(vars, *body));
|
H A D | ValidityChecker.java | 1461 public ExprMut existsExpr(List vars, Expr body) throws Cvc3Exception { in existsExpr() method in ValidityChecker
|
H A D | Test.java | 1479 Expr ex_expr = vc.existsExpr(vars_ex, ex_body); in test15()
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Protocol/ |
H A D | SMTLib2.hs | 595 existsExpr vars t = SMT2.exists (varBinding @a <$> vars) t function
|
H A D | SMTWriter.hs | 795 existsExpr :: [(Text, Some TypeMap)] -> Term h -> Term h 1368 existsExpr @h (crFreeConstants cr) $
|
/dports/math/cvc3/cvc3-2.4.1/src/vcl/ |
H A D | vcl.cpp | 1778 Expr VCL::existsExpr(const vector<Expr>& vars, const Expr& body) { in existsExpr() function in VCL
|
/dports/math/cvc3/cvc3-2.4.1/test/ |
H A D | main.cpp | 1283 Expr ex_expr = vc->existsExpr(vars_ex, ex_body); in test15()
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/translator/ |
H A D | translator.cpp | 5221 expr* existsExpr = theExprManager->create_fo_expr(theRootSctx, loc, in end_visit() local 5231 existsExpr, comentExpr); in end_visit() 5239 existsExpr); in end_visit()
|
/dports/math/cvc3/cvc3-2.4.1/src/c_interface/ |
H A D | c_interface.cpp | 2213 return toExpr(cvc->existsExpr(cvcBvars,fromExpr(f))); in vc_existsExpr()
|