| /dports/devel/p5-Getopt-Euclid/Getopt-Euclid-0.4.5/t/ |
| H A D | vars_export.t | 46 sub not_arg {
53 not_arg 'i' => $INFILE;
56 not_arg 'l' => $LEN;
57 not_arg 'len' => $LEN;
59 not_arg 'lgth' => $LEN;
63 not_arg 'o' => $OUTFILE;
64 not_arg 'ofile' => $OUTFILE;
65 not_arg 'out' => $OUTFILE;
68 not_arg 'v' => 1,
71 not_arg 'skip_some' => 1,
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | distribute_forall.cpp | 125 expr_ref not_arg(m_manager); in reduce1_quantifier() local
126 br.mk_not(arg, not_arg); in reduce1_quantifier()
128 tmp_q = m_manager.update_quantifier(q, not_arg); in reduce1_quantifier()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | distribute_forall.cpp | 125 expr_ref not_arg(m_manager); in reduce1_quantifier() local
126 br.mk_not(arg, not_arg); in reduce1_quantifier()
128 tmp_q = m_manager.update_quantifier(q, not_arg); in reduce1_quantifier()
|
| /dports/databases/postgresql96-server/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql96-plpython/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql96-pltcl/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-plperl/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-pltcl/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-server/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-client/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-contrib/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-docs/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-client/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql10-plpython/postgresql-10.19/src/backend/optimizer/util/ |
| H A D | predtest.c | 509 Node *not_arg; in predicate_refuted_by_recurse() local
585 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
586 if (not_arg && in predicate_refuted_by_recurse()
587 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
665 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
666 if (not_arg && in predicate_refuted_by_recurse()
667 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
700 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
701 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
747 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-plperl/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-contrib/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-plpython/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-docs/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-server/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql11-pltcl/postgresql-11.14/src/backend/optimizer/util/ |
| H A D | predtest.c | 534 Node *not_arg; in predicate_refuted_by_recurse() local
617 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
618 if (not_arg && in predicate_refuted_by_recurse()
619 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
699 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
700 if (not_arg && in predicate_refuted_by_recurse()
701 predicate_implied_by_recurse(clause, not_arg, in predicate_refuted_by_recurse()
734 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
735 if (not_arg && in predicate_refuted_by_recurse()
785 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql96-client/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql96-plperl/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql96-contrib/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql96-docs/postgresql-9.6.24/src/backend/optimizer/util/ |
| H A D | predtest.c | 486 Node *not_arg; in predicate_refuted_by_recurse() local
559 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
560 if (not_arg && in predicate_refuted_by_recurse()
561 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
635 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
636 if (not_arg && in predicate_refuted_by_recurse()
637 predicate_implied_by_recurse(clause, not_arg)) in predicate_refuted_by_recurse()
668 not_arg = extract_strong_not_arg(clause); in predicate_refuted_by_recurse()
669 if (not_arg && equal(predicate, not_arg)) in predicate_refuted_by_recurse()
713 not_arg = extract_not_arg(predicate); in predicate_refuted_by_recurse()
[all …]
|
| /dports/databases/postgresql12-client/postgresql-12.9/src/backend/optimizer/util/ |
| H A D | predtest.c | 535 Node *not_arg;
618 not_arg = extract_not_arg(predicate);
619 if (not_arg &&
620 predicate_implied_by_recurse(clause, not_arg,
700 not_arg = extract_not_arg(predicate);
701 if (not_arg &&
702 predicate_implied_by_recurse(clause, not_arg,
735 not_arg = extract_strong_not_arg(clause);
736 if (not_arg &&
786 not_arg = extract_not_arg(predicate);
[all …]
|