/dports/security/klee/klee-2.2/lib/Expr/ |
H A D | ArrayExprRewriter.cpp | 137 ref<Expr> orExpr = concatenateOrExpr(eqExprs.begin(), eqExprs.end()); in rewrite() local 140 ConstantExpr::alloc(invert ? 0 : 1, (orExpr)->getWidth()), orExpr); in rewrite()
|
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/schema/ |
H A D | json_schema_parser.cpp | 171 auto orExpr = stdx::make_unique<OrMatchExpression>(); in makeRestriction() local 172 orExpr->add(notExpr.release()); in makeRestriction() 173 orExpr->add(restrictionExpr.release()); in makeRestriction() 175 return std::move(orExpr); in makeRestriction() 434 auto orExpr = stdx::make_unique<OrMatchExpression>(); in parseEnum() local 452 orExpr->add(rootDocEq.release()); in parseEnum() 461 orExpr->add(eqExpr.release()); in parseEnum() 466 if (orExpr->numChildren() == 0) { in parseEnum() 470 return {std::move(orExpr)}; in parseEnum() 592 orExpr->add(notExpr.release()); in parseProperties() [all …]
|
/dports/net/cloudquery/cloudquery-0.16.0/vendor/github.com/huandu/go-sqlbuilder/ |
H A D | cond.go | 129 func (c *Cond) Or(orExpr ...string) string { 130 return fmt.Sprintf("(%s)", strings.Join(orExpr, " OR "))
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
H A D | core_theorem_producer.cpp | 88 return newRWTheorem(e, orExpr(kids), Assumptions::emptyAssump(), pf); in rewriteNotAnd() 196 (e1.orExpr(!c).andExpr(c.orExpr(e2))), Assumptions::emptyAssump(), pf); in rewriteIteBool() 232 Expr out = A.andExpr(orExpr(output)); in orDistributivityRule() 274 Expr out = A.orExpr(andExpr(output)); in andDistributivityRule()
|
/dports/textproc/p5-XML-STX/XML-STX-0.43/STX/ |
H A D | STXPath.pm | 32 my $result = $self->orExpr($nodes); 84 sub orExpr { subroutine 291 my $result = $self->orExpr($nodes); 527 my $result = $self->{tokens}->[0] eq ')' ? [] : $self->orExpr($nodes); 534 my $next = $self->orExpr($nodes); 961 my $result = $self->orExpr([$node]);
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.ServiceModel/System/ServiceModel/Dispatcher/ |
H A D | XPathParser.cs | 632 XPathExpr orExpr = new XPathExpr(XPathExprType.Or, ValueDataType.Boolean); in ParseOrExpression() 634 orExpr.AddBooleanExpression(XPathExprType.Or, andExpr); in ParseOrExpression() 640 orExpr.AddBooleanExpression(XPathExprType.Or, andExpr); in ParseOrExpression() 643 return orExpr; in ParseOrExpression()
|
/dports/devel/splint/splint-3.1.2/src/ |
H A D | cgrammar.y | 302 %type <expr> orExpr conditionalExpr assignExpr 1048 orExpr 1050 | orExpr OR_OP 1063 : orExpr 1064 | orExpr TQUEST 1069 | orExpr TQUEST { exprNode_produceGuards ($1); context_enterTrueClause ($1); } expr TCOLON 2113 | orExpr OR_OP andExpr { $$ = exprNode_op ($1, $3, $2); } 2118 | orExpr TQUEST { context_enterTrueClause ($1); } 2121 | orExpr TQUEST { context_enterTrueClause ($1); }
|
/dports/lang/nim/nim-1.6.2/compiler/ |
H A D | ccgstmts.nim | 1041 var orExpr = Rope(nil) 1052 if orExpr != nil: orExpr.add("||") 1060 if orExpr != nil: 1062 startBlock(p, "else if ($1) {$n", [orExpr]) 1064 startBlock(p, "if ($1) {$n", [orExpr]) 1264 var orExpr: Rope = nil 1267 if orExpr != nil: orExpr.add("||") 1276 startBlock(p, "if ($1) {$n", [orExpr]) 1403 var orExpr: Rope = nil 1406 if orExpr != nil: orExpr.add("||") [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
H A D | array_theorem_producer.cpp | 375 result = eq[0].orExpr(diseq[0]); in splitOnConstants() 378 result = orExpr(eq); in splitOnConstants()
|
/dports/misc/cloc/cloc-1.90/tests/inputs/ |
H A D | ExprParser.g | 201 : orExpr {$e = $orExpr.e; } 204 orExpr returns [LogicalExpression e]
|
/dports/devel/codeworker/CodeWorker4_5_3/WebSite/repository/ |
H A D | XSLparser.cwp | 288 expression(expr : node, env : node) ::= orExpr(expr, env); 290 orExpr(expr : node, env : node) ::=
|
/dports/www/mitmproxy/mitmproxy-7.0.4/web/src/js/filt/ |
H A D | filt.peg | 227 = __ orExpr:OrExpr __ { return orExpr; }
|
/dports/math/cvc3/cvc3-2.4.1/src/search/ |
H A D | search_theorem_producer.cpp | 1322 clauses.push_back(orExpr(lastClause)); in convertToCNF() 1328 clauses.push_back(v.orExpr(i->negate())); in convertToCNF() 1331 clauses.push_back(orExpr(lastClause)); in convertToCNF() 1352 clauses.push_back(v.orExpr(v1)); in convertToCNF() 1353 clauses.push_back(v.orExpr(negv2)); in convertToCNF()
|
/dports/security/klee/klee-2.2/lib/Solver/ |
H A D | Z3Builder.h | 131 Z3ASTHandle orExpr(Z3ASTHandle lhs, Z3ASTHandle rhs);
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | expr.h | 315 Expr orExpr(const Expr& right) const; 339 Expr operator||(const Expr& right) const { return orExpr(right); } 951 inline Expr Expr::orExpr(const Expr& right) const { in orExpr() function 955 inline Expr orExpr(const std::vector <Expr>& children) { in orExpr() function
|
H A D | vc.h | 406 virtual Expr orExpr(const Expr& left, const Expr& right) = 0; 409 virtual Expr orExpr(const std::vector<Expr>& children) = 0;
|
H A D | vcl.h | 246 Expr orExpr(const Expr& left, const Expr& right); 247 Expr orExpr(const std::vector<Expr>& children);
|
/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | expr_template.h | 382 Expr orExpr(const Expr& e) const;
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/tools/corba/se/idl/ |
H A D | Preprocessor.java | 341 Expression expr = orExpr (null, entry); in booleanConstExpr() 356 private Expression orExpr (Expression e, SymtabEntry entry) throws IOException, ParseException in orExpr() method in Preprocessor 371 return orExpr (or, entry); in orExpr()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/tools/corba/se/idl/ |
H A D | Preprocessor.java | 341 Expression expr = orExpr (null, entry); in booleanConstExpr() 356 private Expression orExpr (Expression e, SymtabEntry entry) throws IOException, ParseException in orExpr() method in Preprocessor 371 return orExpr (or, entry); in orExpr()
|
/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/ |
H A D | Test.java | 220 Expr e = vc.orExpr(p, vc.notExpr(p)); in test1() 325 vc.assertFormula(vc.orExpr(vc.eqExpr(c, vc.ratExpr(0)), vc.eqExpr(c, vc.ratExpr(1)))); in test2() 377 return vc.orExpr(res, vc.andExpr(vc.eqExpr(i1, j1), vc.ltExpr(i2, j2))); in ltLex() 708 newConditions.add(vc.orExpr(vc.geExpr(e, N), vc.leExpr(e, zero))); in test5() 864 return vc.orExpr(vc.andExpr(a,b), vc.orExpr(vc.andExpr(b,c),vc.andExpr(a,c))); in carry() 1888 b = check(vc, vc.orExpr(vc.datatypeTestExpr("zero", x), in test18()
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_records/ |
H A D | records_theorem_producer.cpp | 202 return newTheorem(orExpr(orChildren), neqThrm.getAssumptionsRef(), pf); in expandNeq()
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
H A D | arith_theorem_producer_old.cpp | 799 Expr zero_lemma = orExpr(zero).iffExpr(result.eqExpr(rat(0))); in canonMult() 1278 res = res.orExpr(power1[1].eqExpr(-power2[1])); in elimPower() 1303 res = res.orExpr(power[1].eqExpr(rat(-root))); in elimPowerConst() 1467 return newRWTheorem(x.eqExpr(y), (z.eqExpr(rat(0))).orExpr((x / z).eqExpr(y / z)), in divideEqnNonConst() 2178 conc = newTheorem(ax.eqExpr(rat(c+b-signB*j)).orExpr(newGrayShadow), in expandGrayShadowConst() 2947 return newTheorem(ltExpr(x,y).orExpr(gtExpr(x,y)), diseq.getAssumptionsRef(), pf); in diseqToIneq() 3238 …const Expr& split = Expr(IS_INTEGER, intVar).impExpr(leExpr(intVar, rat(intPoint)).orExpr(geExpr(i… in integerSplit() 3481 Expr bigOr = orExpr(disjuncts); in splitGrayShadowSmall() 3723 zeroOr = zeroOr.orExpr(term.eqExpr(rat(0))); in nonLinearIneqSignSplit() 3725 signXor = zeroOr.orExpr(signXor); in nonLinearIneqSignSplit()
|
/dports/math/cvc3/cvc3-2.4.1/test/ |
H A D | main.cpp | 150 Expr e = vc->orExpr(p, vc->notExpr(p)); in test1() 302 return vc->orExpr(res, vc->andExpr(vc->eqExpr(i1, j1), vc->ltExpr(i2, j2))); in ltLex() 661 newConditions.push_back(vc->orExpr(vc->geExpr(e, N), vc->leExpr(e, zero))); in test5() 803 return vc->orExpr(vc->andExpr(a,b), vc->orExpr(vc->andExpr(b,c),vc->andExpr(a,c))); in carry() 1645 b = check(vc, vc->orExpr(vc->datatypeTestExpr("zero", x), in test18()
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/ |
H A D | bitvector_theorem_producer.cpp | 525 MSB0isOne.orExpr(MSB1isZero); in signBVLTRule() 566 MSB1isZero.orExpr(MSB1isOne.andExpr(newBVLT)); in signBVLTRule() 579 MSB0isOne.orExpr(MSB0isZero.andExpr(newBVLT)) : in signBVLTRule() 593 output = k0.orExpr(k1.andExpr(newBVLT)); in signBVLTRule() 1332 return orExpr(carry); in computeCarry() 1445 carryout = (x.orExpr(secondTerm)).orExpr(thirdTerm); in computeCarryPreComputed() 1460 carryout = (x.orExpr(secondTerm)).orExpr(thirdTerm); in computeCarryPreComputed() 2217 Expr orExpr = d_theoryBitvector->newBVOrExpr(e[0], e[1]); in rewriteNOR() local 6386 …Expr carry = sum_bits[bit].andExpr(m).orExpr(carry_bits[bit - 1].andExpr(sum_bits[bit].orExpr(m))); in bitblastBVMult() 6391 carry = carry.orExpr(carry_bits[new_size - 1]); in bitblastBVMult() [all …]
|