/dports/editors/texmacs/TeXmacs-1.99.4-src/src/System/Classes/ |
H A D | url.cpp | 540 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 D | smt_case_split_queue.cpp | 355 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 D | smt_case_split_queue.cpp | 355 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 D | markers.py | 122 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 D | markers.py | 122 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 D | display_dimacs.cpp | 33 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 D | mcv.c | 91 #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 D | mcv.c | 91 #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 D | mcv.c | 91 #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 D | mcv.c | 91 #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 D | mcv.c | 91 #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 D | mcv.c | 91 #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 D | mcv.c | 91 #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 D | mcv.c | 92 #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 D | mcv.c | 92 #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 D | mcv.c | 92 #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 D | mcv.c | 92 #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 D | mcv.c | 92 #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 D | mcv.c | 92 #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 D | mcv.c | 92 #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 D | mcv.c | 90 #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 D | mcv.c | 90 #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 D | mcv.c | 90 #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 D | mcv.c | 90 #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 D | mcv.c | 90 #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 …]
|