| /dports/net/arataga/oess-2.2.3/dev/oess_2/stdsn/h/ |
| H A D | ptr.hpp | 90 oess_2::uchar_t is_exists; in oess_unpack() local
91 s.query_stream() >> is_exists; in oess_unpack()
92 if( is_exists ) { in oess_unpack()
144 oess_2::uchar_t is_exists = ( m_value ? 1 : 0 ); in oess_pack() local
145 s.query_stream() << is_exists; in oess_pack()
146 if( is_exists ) { in oess_pack()
|
| H A D | extension.hpp | 116 oess_2::uchar_t is_exists; in oess_unpack() local
117 s.query_stream() >> is_exists; in oess_unpack()
118 if( is_exists ) in oess_unpack()
245 oess_2::uchar_t is_exists = ( m_value ? 1 : 0 ); in oess_pack() local
246 s.query_stream() << is_exists; in oess_pack()
247 if( is_exists ) in oess_pack()
|
| /dports/www/p5-HTML5-DOM/HTML5-DOM-1.25/third_party/modest/source/myencoding/ |
| H A D | detect.c | 766 size_t is_exists = 0; in myencoding_prescan_stream_to_determine_encoding_check_meta() local
775 if((is_exists & 1) == 0) { in myencoding_prescan_stream_to_determine_encoding_check_meta()
776 is_exists |= 1; in myencoding_prescan_stream_to_determine_encoding_check_meta()
788 if((is_exists & 2) == 0) { in myencoding_prescan_stream_to_determine_encoding_check_meta()
789 is_exists |= 2; in myencoding_prescan_stream_to_determine_encoding_check_meta()
799 if((is_exists & 4) == 0) { in myencoding_prescan_stream_to_determine_encoding_check_meta()
800 is_exists |= 4; in myencoding_prescan_stream_to_determine_encoding_check_meta()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | q_solver.cpp | 35 if (!is_forall(e) && !is_exists(e))
76 SASSERT(is_forall(n->get_expr()) || is_exists(n->get_expr()));
119 return instantiate(q, is_exists(q), mk_var);
127 SASSERT(is_forall(e) || is_exists(e));
|
| /dports/comms/anyremote/anyremote-6.7.3/cfg-data/Server-mode/ |
| H A D | exampleLayout.cfg | 36 Get(is_exists,cover,cover-audio);\
59 Get(is_exists,cover,cover-audio);
66 Get(is_exists,cover,cover-audio);
|
| H A D | mediacenter.cfg | 76 Get(is_exists,cover,cover-audio);\
77 Get(is_exists,cover,cover-computer);\
78 Get(is_exists,cover,cover-files);\
79 Get(is_exists,cover,cover-pix);\
80 Get(is_exists,cover,cover-presentation);\
81 Get(is_exists,cover,cover-setup);\
82 Get(is_exists,cover,cover-video);\
83 Get(is_exists,cover,cover-weather);\
87 % Get(is_exists,cover,cover-audio);\
269 Get(is_exists,cover,cover-audio);
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | nlqsat.cpp | 130 void save_model(bool is_exists) { in save_model()
138 if (is_exists) { in save_model()
273 s.save_model(is_exists(level())); in check_sat()
291 s.m_asms.push_back(is_exists()?s.m_is_true:~s.m_is_true); in init_assumptions()
330 s.save_model(is_exists(level())); in init_assumptions()
408 cl.push_back(is_exists()?~s.m_is_true:s.m_is_true); in enforce_parity()
538 bool is_exists() const { return is_exists(level()); } in is_exists() function in qe::nlqsat
540 bool is_exists(unsigned level) const { return (level % 2) == 0; } in is_exists() function in qe::nlqsat
541 bool is_forall(unsigned level) const { return is_exists(level+1); } in is_forall()
750 if (is_exists(i)) lvl.m_ex = i; else lvl.m_fa = i; in hoist()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | nlqsat.cpp | 130 void save_model(bool is_exists) { in save_model()
138 if (is_exists) { in save_model()
273 s.save_model(is_exists(level())); in check_sat()
291 s.m_asms.push_back(is_exists()?s.m_is_true:~s.m_is_true); in init_assumptions()
330 s.save_model(is_exists(level())); in init_assumptions()
408 cl.push_back(is_exists()?~s.m_is_true:s.m_is_true); in enforce_parity()
538 bool is_exists() const { return is_exists(level()); } in is_exists() function in qe::nlqsat
540 bool is_exists(unsigned level) const { return (level % 2) == 0; } in is_exists() function in qe::nlqsat
541 bool is_forall(unsigned level) const { return is_exists(level+1); } in is_forall()
750 if (is_exists(i)) lvl.m_ex = i; else lvl.m_fa = i; in hoist()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | q_solver.cpp | 40 if (!is_forall(e) && !is_exists(e)) in asserted()
149 return instantiate(q, is_exists(q), mk_var); in specialize()
157 SASSERT(is_forall(e) || is_exists(e)); in internalize()
236 else if (is_exists(q)) in expand()
|
| H A D | euf_proof.cpp | 50 strm << "(" << (is_forall(q) ? "forall" : (is_exists(q) ? "exists" : "lambda")); in drat_log_expr1()
|
| /dports/devel/ucommon/ucommon-7.0.0/inc/ucommon/ |
| H A D | fsys.h | 422 static bool is_exists(const char *path);
838 inline bool is_exists(const char *path) in is_exists() function
840 return fsys::is_exists(path); in is_exists()
|
| /dports/devel/bear/Bear-3.0.17/source/citnames/source/ |
| H A D | Application.cc | 84 bool is_exists(const fs::path &path) { in is_exists() function
106 if (!is_exists(arguments.input)) { in into_arguments()
113 (arguments.append && is_exists(arguments.output)), in into_arguments()
|
| /dports/games/bstone/bstone-1.1.9/src/ |
| H A D | bstone_file_stream.h | 90 static bool is_exists(
|
| H A D | bstone_file_stream.cpp | 282 bool FileStream::is_exists( in is_exists() function in bstone::FileStream
|
| /dports/devel/zls/zls-0.9.0/src/ |
| H A D | requests.zig | 48 const is_exists = field.field_type == Exists;
58 if (is_exists) {
81 if (is_exists) {
|
| /dports/devel/etl/synfig-1.2.2/synfig-core/src/synfig/ |
| H A D | filesystemgroup.cpp | 166 if (is_exists(i->prefix)) in directory_scan()
180 if (!is_exists(filename)) return true; in file_remove()
|
| H A D | filesystem.h | 171 …inline bool is_exists(const String filename) { return is_file(filename) || is_directory(filename);… in is_exists() function
|
| /dports/graphics/synfig/synfig-1.2.2/synfig-core/src/synfig/ |
| H A D | filesystemgroup.cpp | 166 if (is_exists(i->prefix)) in directory_scan()
180 if (!is_exists(filename)) return true; in file_remove()
|
| H A D | filesystem.h | 171 …inline bool is_exists(const String filename) { return is_file(filename) || is_directory(filename);… in is_exists() function
|
| /dports/graphics/synfigstudio/synfig-1.2.2/synfig-core/src/synfig/ |
| H A D | filesystemgroup.cpp | 166 if (is_exists(i->prefix)) in directory_scan()
180 if (!is_exists(filename)) return true; in file_remove()
|
| H A D | filesystem.h | 171 …inline bool is_exists(const String filename) { return is_file(filename) || is_directory(filename);… in is_exists() function
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/normal_forms/ |
| H A D | pull_quant.cpp | 50 if (is_quantifier(child) && (is_forall(child) || is_exists(child))) { in pull_quant1_core()
69 if (!found_quantifier && (is_forall(child) || is_exists(child))) { in pull_quant1_core()
281 if (is_exists(old_q)) { in reduce_quantifier()
|
| /dports/devel/p5-Module-Setup/Module-Setup-0.09/lib/Module/Setup/Path/ |
| H A D | Base.pm | 23 sub is_exists { -e shift->{path} } subroutine
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/macros/ |
| H A D | quantifier_macro_info.cpp | 35 if (is_exists(q)) in collect_macro_candidates()
|
| /dports/sysutils/fluent-bit/fluent-bit-1.8.11/plugins/in_docker/ |
| H A D | docker.c | 449 static bool is_exists(struct mk_list *list, char *id)
596 if (is_exists(ctx->whitelist, docker->id)) {
607 if (is_exists(ctx->blacklist, docker->id)) {
|