Home
last modified time | relevance | path

Searched refs:m_atom (Results 76 – 98 of 98) sorted by relevance

1234

/dports/japanese/mozc-el/mozc-2.23.2815.102.01/src/third_party/wtl/Include/
H A Datlframe.h63 ATOM m_atom; variable
70 if (m_atom == 0) in Register()
80 if(m_atom == 0) in Register()
125 if (m_atom == 0) in Register()
136 m_atom = ::RegisterClassEx(&m_wc); in Register()
150 return m_atom; in Register()
155 if (m_atom == 0) in Register()
165 if(m_atom == 0) in Register()
210 if (m_atom == 0) in Register()
216 m_atom = ::RegisterClass(&m_wc); in Register()
[all …]
/dports/japanese/fcitx-mozc/mozc-2.23.2815.102.01/src/third_party/wtl/Include/
H A Datlframe.h63 ATOM m_atom; variable
70 if (m_atom == 0) in Register()
80 if(m_atom == 0) in Register()
125 if (m_atom == 0) in Register()
136 m_atom = ::RegisterClassEx(&m_wc); in Register()
150 return m_atom; in Register()
155 if (m_atom == 0) in Register()
165 if(m_atom == 0) in Register()
210 if (m_atom == 0) in Register()
216 m_atom = ::RegisterClass(&m_wc); in Register()
[all …]
/dports/science/openbabel/openbabel-3.1.1/external/maeparser-v1.2.3/maeparser/test/
H A DReaderTest.cpp310 auto atom_block = b->getIndexedBlock("m_atom"); in BOOST_AUTO_TEST_CASE()
H A DMaeBlockTest.cpp257 m_atom[3] { in BOOST_AUTO_TEST_CASE()
/dports/science/maeparser/maeparser-1.2.4/test/
H A DReaderTest.cpp310 auto atom_block = b->getIndexedBlock("m_atom"); in BOOST_AUTO_TEST_CASE()
H A DMaeBlockTest.cpp257 m_atom[3] { in BOOST_AUTO_TEST_CASE()
/dports/math/z3/z3-z3-4.8.13/src/ast/proofs/
H A Dproof_checker.h47 func_decl* m_atom; variable
H A Dproof_checker.cpp20 m_atom(nullptr), in hyp_decl_plugin()
27 m_manager->dec_ref(m_atom); in finalize()
36m_atom = m->mk_func_decl(symbol("atom"), m->mk_bool_sort(), m_cell, func_decl_info(id, OP_ATOM)); in set_manager()
40 m->inc_ref(m_atom); in set_manager()
52 case OP_ATOM: return m_atom; in mk_func_decl()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/proofs/
H A Dproof_checker.h47 func_decl* m_atom; variable
H A Dproof_checker.cpp20 m_atom(nullptr), in hyp_decl_plugin()
27 m_manager->dec_ref(m_atom); in finalize()
36m_atom = m->mk_func_decl(symbol("atom"), m->mk_bool_sort(), m_cell, func_decl_info(id, OP_ATOM)); in set_manager()
40 m->inc_ref(m_atom); in set_manager()
52 case OP_ATOM: return m_atom; in mk_func_decl()
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/
H A Dbv_solver.cpp407 if (p.m_atom) { in unit_propagate()
408 for (auto vp : *p.m_atom) in unit_propagate()
410 for (eq_occurs const& eq : p.m_atom->eqs()) in unit_propagate()
701 q = propagation_item(result->get_bv2a(p.m_atom->m_bv)); in clone()
/dports/science/coordgenlibs/coordgenlibs-3.0.0/test/
H A Dmacrocycle.mae165 m_atom[59] {
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/
H A Dbv_solver.cpp419 if (p.m_atom) { in unit_propagate()
420 for (auto vp : *p.m_atom) in unit_propagate()
422 for (auto const& eq : p.m_atom->eqs()) in unit_propagate()
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/xwl/
H A Dtransfer.cpp41 , m_atom(selection) in Transfer()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dtheory_bv.cpp217 theory_bv::bit_atom * m_atom; member in smt::add_var_pos_trail
219 add_var_pos_trail(theory_bv::bit_atom * a):m_atom(a) {} in add_var_pos_trail()
221 SASSERT(m_atom->m_occs); in undo()
222 m_atom->m_occs = m_atom->m_occs->m_next; in undo()
H A Dtheory_arith.h289 unsigned m_atom:1; variable
295 m_atom(a) { in bound()
300 bool is_atom() const { return m_atom; } in is_atom()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dtheory_bv.cpp216 theory_bv::bit_atom * m_atom; member in smt::add_var_pos_trail
218 add_var_pos_trail(theory_bv::bit_atom * a):m_atom(a) {} in add_var_pos_trail()
220 SASSERT(m_atom->m_occs); in undo()
221 m_atom->m_occs = m_atom->m_occs->m_next; in undo()
H A Dtheory_arith.h289 unsigned m_atom:1; variable
295 m_atom(a) { in bound()
300 bool is_atom() const { return m_atom; } in is_atom()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/wtl/include/
H A Datlframe.h59 ATOM m_atom; variable
65 if (m_atom == 0) in Register()
75 if(m_atom == 0) in Register()
115 m_atom = (ATOM)::GetClassInfoEx(m_wc.hInstance, m_wc.lpszClassName, &wcTemp); in Register()
116 if (m_atom == 0) in Register()
127 m_atom = ::RegisterClassEx(&m_wc); in Register()
141 return m_atom; in Register()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/wtl/include/
H A Datlframe.h59 ATOM m_atom; variable
65 if (m_atom == 0) in Register()
75 if(m_atom == 0) in Register()
115 m_atom = (ATOM)::GetClassInfoEx(m_wc.hInstance, m_wc.lpszClassName, &wcTemp); in Register()
116 if (m_atom == 0) in Register()
127 m_atom = ::RegisterClassEx(&m_wc); in Register()
141 return m_atom; in Register()
/dports/net/yate/yate-6.4.0-1/
H A Dyateclass.h3378 : m_atom(0) in Atom()
3379 { String::atom(m_atom,value); } in Atom()
3386 { return *m_atom; }
3393 { return m_atom; }
3396 const String* m_atom;
/dports/science/mmdb2/mmdb2-2.0.20/mmdb2/
H A Dmmdb_model.h925 void MoveChain ( PChain & m_chain, PPAtom m_atom,
H A Dmmdb_model.cpp4611 void Model::MoveChain ( PChain & m_chain, PPAtom m_atom, in MoveChain() argument
4694 atom[atom_index] = m_atom[k]; in MoveChain()
4697 m_atom[k] = NULL; // moved! in MoveChain()

1234