| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_npn3_finder.h | 79 struct quaternary { struct
82 quaternary(literal _w, literal _x, literal _y, literal _z, clause* c); argument
83 quaternary();
85 unsigned operator()(quaternary const& q) const; argument
88 bool operator()(quaternary const& a, quaternary const& b) const; argument
94 typedef hashtable<quaternary, quaternary::hash, quaternary::eq> quaternary_hash_table_t;
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_npn3_finder.h | 79 struct quaternary { struct
82 quaternary(literal _w, literal _x, literal _y, literal _z, clause* c); argument
83 quaternary();
85 unsigned operator()(quaternary const& q) const; argument
88 bool operator()(quaternary const& a, quaternary const& b) const; argument
94 typedef hashtable<quaternary, quaternary::hash, quaternary::eq> quaternary_hash_table_t;
|
| /dports/www/uchiwa/uchiwa-0.18.2/public/bower_components/uchiwa-web/css/uchiwa-dark/ |
| H A D | _variables.scss | 5 $quaternary-color: #FFFFFF !default;
15 $header-text-color: $quaternary-color !default;
16 $section-header-border-bottom: 1px solid $quaternary-color !default;
68 $sidebar-nav-selected-text-color: $quaternary-color !default;
69 $sidebar-nav-selected-border-left: 3px solid $quaternary-color !default;
|
| /dports/devel/boost-docs/boost_1_72_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/devel/boost-python-libs/boost_1_72_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/devel/boost-libs/boost_1_72_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/databases/percona57-server/boost_1_59_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/databases/xtrabackup/boost_1_59_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/databases/percona57-client/boost_1_59_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/devel/hyperscan/boost_1_75_0/libs/locale/test/ |
| H A D | test_winapi_collate.cpp | 90 quaternary = 3, in test_collate() local
99 compare("a","A",quaternary,le); in test_collate()
100 compare("A","a",quaternary,gt); in test_collate()
106 compare("a","ä",quaternary,le); // a , ä in test_collate()
107 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| H A D | test_collate.cpp | 99 quaternary = 3, in test_collate() local
108 compare("a","A",quaternary,le); in test_collate()
109 compare("A","a",quaternary,gt); in test_collate()
115 compare("a","ä",quaternary,le); // a , ä in test_collate()
116 compare("ä","a",quaternary,gt); // a , ä in test_collate()
|
| /dports/print/latex-beamer/beamer-3.57/base/themes/color/ |
| H A D | beamercolorthemecrane.sty | 20 \setbeamercolor{palette quaternary}{fg=craneblue,bg=craneorange}
22 \setbeamercolor{titlelike}{parent=palette quaternary}
37 \setbeamercolor{palette sidebar quaternary}{fg=craneblue}
|
| H A D | beamercolorthememonarca.sty | 42 \setbeamercolor{palette quaternary}{fg=black,bg=white}
44 \setbeamercolor{titlelike}{parent=palette quaternary}
59 \setbeamercolor{palette sidebar quaternary}{fg=black}
|
| /dports/www/uchiwa/uchiwa-0.18.2/public/bower_components/uchiwa-web/css/uchiwa-default/ |
| H A D | _variables.scss | 5 $quaternary-color: #F0F1F5 !default;
17 $body-background-color: $quaternary-color !default;
31 $button-hover-text-color: $quaternary-color !default;
108 $timestamp-text-color: $quaternary-color !default;
117 $well-lead-text-color: $quaternary-color !default;
|
| /dports/print/latex-beamer/beamer-3.57/base/themes/theme/ |
| H A D | beamerthemeMarburg.sty | 33 {\usebeamercolor{palette quaternary}}
36 \setbeamertemplate{sidebar canvas \beamer@sidebarside}[vertical shading][top=palette quaternary.bg,…
|