Home
last modified time | relevance | path

Searched refs:orExpr (Results 1 – 25 of 187) sorted by relevance

12345678

/dports/security/klee/klee-2.2/lib/Expr/
H A DArrayExprRewriter.cpp137 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 Djson_schema_parser.cpp171 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 Dcond.go129 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 Dcore_theorem_producer.cpp88 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 DSTXPath.pm32 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 DXPathParser.cs632 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 Dcgrammar.y302 %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 Dccgstmts.nim1041 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 Darray_theorem_producer.cpp375 result = eq[0].orExpr(diseq[0]); in splitOnConstants()
378 result = orExpr(eq); in splitOnConstants()
/dports/misc/cloc/cloc-1.90/tests/inputs/
H A DExprParser.g201 : orExpr {$e = $orExpr.e; }
204 orExpr returns [LogicalExpression e]
/dports/devel/codeworker/CodeWorker4_5_3/WebSite/repository/
H A DXSLparser.cwp288 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 Dfilt.peg227 = __ orExpr:OrExpr __ { return orExpr; }
/dports/math/cvc3/cvc3-2.4.1/src/search/
H A Dsearch_theorem_producer.cpp1322 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 DZ3Builder.h131 Z3ASTHandle orExpr(Z3ASTHandle lhs, Z3ASTHandle rhs);
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dexpr.h315 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 Dvc.h406 virtual Expr orExpr(const Expr& left, const Expr& right) = 0;
409 virtual Expr orExpr(const std::vector<Expr>& children) = 0;
H A Dvcl.h246 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 Dexpr_template.h382 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 DPreprocessor.java341 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 DPreprocessor.java341 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 DTest.java220 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 Drecords_theorem_producer.cpp202 return newTheorem(orExpr(orChildren), neqThrm.getAssumptionsRef(), pf); in expandNeq()
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Darith_theorem_producer_old.cpp799 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 Dmain.cpp150 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 Dbitvector_theorem_producer.cpp525 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 …]

12345678