| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/schema/ |
| H A D | json_schema_parser.cpp | 529 andExpr->add(existsExpr.release()); in translateRequired()
537 andExpr->add(objectMatch.release()); in translateRequired()
544 return {std::move(andExpr)}; in translateRequired()
595 andExpr->add(orExpr.release()); in parseProperties()
602 return {std::move(andExpr)}; in parseProperties()
902 return {std::move(andExpr)}; in parseDependencies()
970 andExpr->add( in parseItems()
1074 andExpr); in parseItemsAndAdditionalItems()
1139 andExpr->add(notMatchExpr.release()); in translateLogicalKeywords()
1546 andExpr->add(typeExpr.release()); in _parse()
[all …]
|
| /dports/math/stp/stp-2.3.3/tests/api/C/ |
| H A D | interface-check.cpp | 38 ::Expr andExpr = ::vc_andExpr(vc, b1, b2); in TEST()
40 ASSERT_TRUE(getExprKind(andExpr) == ::FALSE); in TEST()
42 ::Expr simplifiedExpr = ::vc_simplify(vc, andExpr); in TEST()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.ServiceModel/System/ServiceModel/Dispatcher/ |
| H A D | XPathParser.cs | 233 XPathExpr andExpr = new XPathExpr(XPathExprType.And, ValueDataType.Boolean); in ParseAndExpression()
235 andExpr.AddBooleanExpression(XPathExprType.And, eqExpr); in ParseAndExpression()
241 andExpr.AddBooleanExpression(XPathExprType.And, eqExpr); in ParseAndExpression()
244 return andExpr; in ParseAndExpression()
628 XPathExpr andExpr = this.ParseAndExpression(); in ParseOrExpression()
630 if (null != andExpr && null != this.NextToken(XPathTokenID.Or)) in ParseOrExpression()
634 orExpr.AddBooleanExpression(XPathExprType.Or, andExpr); in ParseOrExpression()
637 andExpr = this.ParseAndExpression(); in ParseOrExpression()
638 if (andExpr == null) in ParseOrExpression()
640 orExpr.AddBooleanExpression(XPathExprType.Or, andExpr); in ParseOrExpression()
[all …]
|
| /dports/emulators/qemu42/qemu-4.2.1/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/emulators/qemu/qemu-6.2.0/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/emulators/qemu5/qemu-5.2.0/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/emulators/qemu-utils/qemu-4.2.1/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/sysutils/uefi-edk2-bhyve-csm/uefi-edk2-aa8d718/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/sysutils/uefi-edk2-qemu/edk2-edk2-stable201911/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/emulators/qemu-guest-agent/qemu-5.0.1/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/devel/cccc/cccc-3.1.6/pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/sysutils/edk2/edk2-edk2-stable202102/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/BaseTools/Source/C/VfrCompile/Pccts/support/rexpr/ |
| H A D | rexpr.c | 75 static int andExpr( GraphPtr g );
92 static int andExpr();
189 if ( andExpr(&g1) == -1 )
198 a = andExpr(&g2);
215 static int andExpr(GraphPtr g) in andExpr() function
217 static int andExpr(g) in andExpr()
|
| /dports/net/cloudquery/cloudquery-0.16.0/vendor/github.com/huandu/go-sqlbuilder/ |
| H A D | select.go | 141 func (sb *SelectBuilder) Where(andExpr ...string) *SelectBuilder {
142 sb.whereExprs = append(sb.whereExprs, andExpr...)
148 func (sb *SelectBuilder) Having(andExpr ...string) *SelectBuilder {
149 sb.havingExprs = append(sb.havingExprs, andExpr...)
|
| H A D | delete.go | 68 func (db *DeleteBuilder) Where(andExpr ...string) *DeleteBuilder {
69 db.whereExprs = append(db.whereExprs, andExpr...)
|
| H A D | cond.go | 134 func (c *Cond) And(andExpr ...string) string {
135 return fmt.Sprintf("(%s)", strings.Join(andExpr, " AND "))
|
| H A D | update.go | 85 func (ub *UpdateBuilder) Where(andExpr ...string) *UpdateBuilder {
86 ub.whereExprs = append(ub.whereExprs, andExpr...)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Ix/Deriving/ |
| H A D | Internal.hs | 198 else foldl1 andExpr $ zipWith3 mkInRange as bs cs
200 andExpr :: Q Exp -> Q Exp -> Q Exp
201 andExpr a b = infixApp a (varE andValName) b function
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/ |
| H A D | datatype_theorem_producer.cpp | 140 res = andExpr(args); in decompose()
167 return newTheorem(andExpr(args), Assumptions::emptyAssump(), pf); in noCycle()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
| H A D | quant_theorem_producer.cpp | 193 typePred = typePred.andExpr(p); in universalInst()
285 typePred = typePred.andExpr(p); in universalInst()
359 typePred = typePred.andExpr(p); in universalInst()
435 typePred = typePred.andExpr(p); in partialUniversalInst()
687 newbody=outBody[0].andExpr(innerBody); in pullVarOut()
727 newbody=outBody[0].andExpr(innerBody); in pullVarOut()
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/ |
| H A D | expression_algo.cpp | 314 auto andExpr = checked_cast<AndMatchExpression*>(expr.get()); in splitMatchExpressionByWithoutRenames() local
315 for (size_t i = 0; i < andExpr->numChildren(); i++) { in splitMatchExpressionByWithoutRenames()
317 splitMatchExpressionByWithoutRenames(andExpr->releaseChild(i), fields); in splitMatchExpressionByWithoutRenames()
|
| /dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/tests/auto/cplusplus/ast/ |
| H A D | tst_ast.cpp | 401 BinaryExpressionAST *andExpr = nestedExpr->expression->asBinaryExpression(); in condition_1() local
402 QVERIFY(andExpr); in condition_1()
403 QCOMPARE(unit->tokenKind(andExpr->binary_op_token), T_AMPER_AMPER); in condition_1()
404 QVERIFY(andExpr->left_expression); in condition_1()
405 QVERIFY(andExpr->right_expression); in condition_1()
407 BinaryExpressionAST *ltExpr = andExpr->left_expression->asBinaryExpression(); in condition_1()
473 BinaryExpressionAST *andExpr = nestedExpr->expression->asBinaryExpression(); in conditional_1() local
474 QVERIFY(andExpr); in conditional_1()
475 QCOMPARE(unit->tokenKind(andExpr->binary_op_token), T_AMPER_AMPER); in conditional_1()
476 QVERIFY(andExpr->left_expression); in conditional_1()
[all …]
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/ |
| H A D | bitvector_theorem_producer.cpp | 524 MSB0isOne.andExpr(MSB1isZero) : in signBVLTRule()
564 MSB1isZero.andExpr(newBVLT) : in signBVLTRule()
581 MSB0isOne.andExpr(newBVLT); in signBVLTRule()
1419 Expr x = t1Thm.andExpr(t2Thm); in computeCarryPreComputed()
1422 Expr t1Andt2 = t1.andExpr(t2); in computeCarryPreComputed()
1935 Expr res = andExpr(bitEqs); in eqToBits()
4318 res = andExpr(kids); in expandTypePred()
6386 …Expr carry = sum_bits[bit].andExpr(m).orExpr(carry_bits[bit - 1].andExpr(sum_bits[bit].orExpr(m))); in bitblastBVMult()
6443 carry = a_i.andExpr(b_i).orExpr(carry.andExpr(a_i.orExpr(b_i))); in bitblastBVPlus()
6645 Expr result = andExpr(conjuncts); in zeroBVOR()
[all …]
|
| /dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/ |
| H A D | Test.java | 377 return vc.orExpr(res, vc.andExpr(vc.eqExpr(i1, j1), vc.ltExpr(i2, j2))); in ltLex()
384 return vc.andExpr(lt1, lt2); in createTestFormula()
565 Expr test = vc.impliesExpr(vc.andExpr(hyp), e); in test5()
633 + vc.andExpr(conditions)); in test5()
636 query = vc.impliesExpr(vc.andExpr(conditions), test); in test5()
722 vc.andExpr(newConditions) : vc.trueExpr(); in test5()
772 Expr and1 = vc1.andExpr(t1, vc1.falseExpr()); in test6()
864 return vc.orExpr(vc.andExpr(a,b), vc.orExpr(vc.andExpr(b,c),vc.andExpr(a,c))); in carry()
1461 Expr manual_expr = vc.andExpr(e1, vc.andExpr(e2, e3)); in test15()
1720 Expr hyp = vc.andExpr(vc.eqExpr(z, cons1), isnull); in test17()
[all …]
|