/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)) {
|