Home
last modified time | relevance | path

Searched refs:is_or (Results 1 – 25 of 362) sorted by relevance

12345678910>>...15

/dports/editors/texmacs/TeXmacs-1.99.4-src/src/System/Classes/
H A Durl.cpp540 if (is_or (u)) { in as_string()
680 if (is_or (u)) in delta()
710 if (is_or (base)) in descends()
712 if (is_or (u)) in descends()
749 if (is_or (to)) { in sort_sub()
759 if (is_or (u)) in sort()
766 if (!is_or (u)) return u; in factor_sorted()
798 if (is_or (u)) { in get_root()
825 if (is_or (sub)) { in complete()
893 if (is_or (u)) { in complete()
[all …]
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_case_split_queue.cpp355 bool is_or = m_manager.is_or(n); in relevant_eh() local
357 if (!intern && !is_or) in relevant_eh()
373 SASSERT(is_or); in relevant_eh()
427 bool is_or = m_manager.is_or(curr); in next_case_split_core() local
556 bool is_or = m_manager.is_or(n); in relevant_eh() local
558 if (!intern && !is_or) in relevant_eh()
621 bool is_or = m_manager.is_or(curr); in next_case_split_core() local
790 bool is_or = m_manager.is_or(n); in relevant_eh() local
792 if (!intern && !is_or) in relevant_eh()
808 SASSERT(is_or); in relevant_eh()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_case_split_queue.cpp355 bool is_or = m_manager.is_or(n); in relevant_eh() local
357 if (!intern && !is_or) in relevant_eh()
373 SASSERT(is_or); in relevant_eh()
427 bool is_or = m_manager.is_or(curr); in next_case_split_core() local
556 bool is_or = m_manager.is_or(n); in relevant_eh() local
558 if (!intern && !is_or) in relevant_eh()
621 bool is_or = m_manager.is_or(curr); in next_case_split_core() local
790 bool is_or = m_manager.is_or(n); in relevant_eh() local
792 if (!intern && !is_or) in relevant_eh()
808 SASSERT(is_or); in relevant_eh()
[all …]
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/pipenv/pipenv/vendor/pip9/_vendor/distlib/
H A Dmarkers.py122 is_or = node.op.__class__ is ast.Or
124 assert is_or or is_and
125 if (is_and and result) or (is_or and not result):
128 if (is_or and result) or (is_and and not result):
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/pipenv/pipenv/patched/notpip/_vendor/distlib/
H A Dmarkers.py122 is_or = node.op.__class__ is ast.Or
124 assert is_or or is_and
125 if (is_and and result) or (is_or and not result):
128 if (is_or and result) or (is_and and not result):
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Ddisplay_dimacs.cpp33 if (m.is_or(f)) { in display_dimacs()
73 if (m.is_or(f)) { in display_dimacs()
97 if (m.is_or(f)) { in display_dimacs()
/dports/databases/postgresql13-pltcl/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ argument
92 ((is_or) ? ((value) || (match)) : ((value) && (match)))
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1727 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql13-server/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ argument
92 ((is_or) ? ((value) || (match)) : ((value) && (match)))
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1727 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql13-docs/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ argument
92 ((is_or) ? ((value) || (match)) : ((value) && (match)))
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1727 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql13-contrib/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ argument
92 ((is_or) ? ((value) || (match)) : ((value) && (match)))
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1727 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql13-plpython/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ in shouldPaintTempo()
92 ((is_or) ? ((value) || (match)) : ((value) && (match))) in shouldPaintTempo()
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) in shouldPaintTempo()
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or)
1560 memset(matches, (is_or) ? false : true,
1626 if (RESULT_IS_FINAL(matches[i], is_or))
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1727 if (RESULT_IS_FINAL(matches[i], is_or))
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match);
[all …]
/dports/databases/postgresql13-plperl/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ argument
92 ((is_or) ? ((value) || (match)) : ((value) && (match)))
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1727 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql13-client/postgresql-13.5/src/backend/statistics/
H A Dmcv.c91 #define RESULT_MERGE(value, is_or, match) \ argument
92 ((is_or) ? ((value) || (match)) : ((value) && (match)))
103 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1727 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1760 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1795 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql14-pltcl/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \ argument
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1608 MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1622 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1692 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1794 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql14-server/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \ argument
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1608 MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1622 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1692 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1794 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql14-client/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \ argument
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1608 MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1622 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1692 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1794 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql14-plperl/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \ argument
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1608 MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1622 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1692 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1794 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql14-plpython/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \ argument
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1608 MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1622 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1692 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1794 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql14-docs/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value)))
1608 MCVList *mcvlist, bool is_or)
1622 memset(matches, (is_or) ? false : true,
1692 if (RESULT_IS_FINAL(matches[i], is_or))
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1794 if (RESULT_IS_FINAL(matches[i], is_or))
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match);
[all …]
/dports/databases/postgresql14-contrib/postgresql-14.1/src/backend/statistics/
H A Dmcv.c92 #define RESULT_MERGE(value, is_or, match) \ argument
93 ((is_or) ? ((value) || (match)) : ((value) && (match)))
104 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1608 MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1622 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1692 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1719 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1794 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1827 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1861 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql12-client/postgresql-12.9/src/backend/statistics/
H A Dmcv.c90 #define RESULT_MERGE(value, is_or, match) \
91 ((is_or) ? ((value) || (match)) : ((value) && (match)))
102 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value)))
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or)
1560 memset(matches, (is_or) ? false : true,
1617 matches[i] = RESULT_MERGE(matches[i], is_or, false);
1626 if (RESULT_IS_FINAL(matches[i], is_or))
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1688 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1715 matches[i] = RESULT_MERGE(matches[i], is_or, bool_matches[i]);
[all …]
/dports/databases/postgresql12-server/postgresql-12.9/src/backend/statistics/
H A Dmcv.c90 #define RESULT_MERGE(value, is_or, match) \
91 ((is_or) ? ((value) || (match)) : ((value) && (match)))
102 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value)))
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or)
1560 memset(matches, (is_or) ? false : true,
1617 matches[i] = RESULT_MERGE(matches[i], is_or, false);
1626 if (RESULT_IS_FINAL(matches[i], is_or))
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1688 matches[i] = RESULT_MERGE(matches[i], is_or, match);
1715 matches[i] = RESULT_MERGE(matches[i], is_or, bool_matches[i]);
[all …]
/dports/databases/postgresql12-docs/postgresql-12.9/src/backend/statistics/
H A Dmcv.c90 #define RESULT_MERGE(value, is_or, match) \ argument
91 ((is_or) ? ((value) || (match)) : ((value) && (match)))
102 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1617 matches[i] = RESULT_MERGE(matches[i], is_or, false); in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1688 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1715 matches[i] = RESULT_MERGE(matches[i], is_or, bool_matches[i]); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql12-plperl/postgresql-12.9/src/backend/statistics/
H A Dmcv.c90 #define RESULT_MERGE(value, is_or, match) \ argument
91 ((is_or) ? ((value) || (match)) : ((value) && (match)))
102 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1617 matches[i] = RESULT_MERGE(matches[i], is_or, false); in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1688 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1715 matches[i] = RESULT_MERGE(matches[i], is_or, bool_matches[i]); in mcv_get_match_bitmap()
[all …]
/dports/databases/postgresql12-contrib/postgresql-12.9/src/backend/statistics/
H A Dmcv.c90 #define RESULT_MERGE(value, is_or, match) \ argument
91 ((is_or) ? ((value) || (match)) : ((value) && (match)))
102 #define RESULT_IS_FINAL(value, is_or) ((is_or) ? (value) : (!(value))) argument
1546 Bitmapset *keys, MCVList *mcvlist, bool is_or) in mcv_get_match_bitmap() argument
1560 memset(matches, (is_or) ? false : true, in mcv_get_match_bitmap()
1617 matches[i] = RESULT_MERGE(matches[i], is_or, false); in mcv_get_match_bitmap()
1626 if (RESULT_IS_FINAL(matches[i], is_or)) in mcv_get_match_bitmap()
1653 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1688 matches[i] = RESULT_MERGE(matches[i], is_or, match); in mcv_get_match_bitmap()
1715 matches[i] = RESULT_MERGE(matches[i], is_or, bool_matches[i]); in mcv_get_match_bitmap()
[all …]

12345678910>>...15