Home
last modified time | relevance | path

Searched refs:m_variants (Results 1 – 18 of 18) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/
H A Dspacer_sym_mux.cpp53 entry->m_variants.push_back(mk_variant(fdecl, 0)); in register_decl()
54 entry->m_variants.push_back(mk_variant(fdecl, 1)); in register_decl()
57 m_muxes.insert(entry->m_variants.get(0), std::make_pair(entry, 0)); in register_decl()
58 m_muxes.insert(entry->m_variants.get(1), std::make_pair(entry, 1)); in register_decl()
61 while (entry.m_variants.size() < sz) { in ensure_capacity()
62 unsigned idx = entry.m_variants.size(); in ensure_capacity()
63 entry.m_variants.push_back (mk_variant(entry.m_main, idx)); in ensure_capacity()
64 m_muxes.insert(entry.m_variants.back(), std::make_pair(&entry, idx)); in ensure_capacity()
78 return entry->m_variants.get(idx); in find_by_decl()
89 return entry.first->m_variants.get(tgt_idx); in shift_decl()
H A Dspacer_sym_mux.h36 func_decl_ref_vector m_variants; variable
37 sym_mux_entry(ast_manager &m) : m_main(m), m_variants(m) {}; in sym_mux_entry()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/
H A Dspacer_sym_mux.cpp53 entry->m_variants.push_back(mk_variant(fdecl, 0));
54 entry->m_variants.push_back(mk_variant(fdecl, 1));
57 m_muxes.insert(entry->m_variants.get(0), std::make_pair(entry, 0));
58 m_muxes.insert(entry->m_variants.get(1), std::make_pair(entry, 1));
61 while (entry.m_variants.size() < sz) {
62 unsigned idx = entry.m_variants.size();
63 entry.m_variants.push_back (mk_variant(entry.m_main, idx));
64 m_muxes.insert(entry.m_variants.back(), std::make_pair(&entry, idx));
78 return entry->m_variants.get(idx);
89 return entry.first->m_variants.get(tgt_idx);
H A Dspacer_sym_mux.h36 func_decl_ref_vector m_variants; variable
37 sym_mux_entry(ast_manager &m) : m_main(m), m_variants(m) {}; in sym_mux_entry()
/dports/devel/simgear/simgear-2020.3.11/simgear/package/
H A DPackage.cxx52 m_variants.push_back(m_id); in initWithProps()
54 m_variants.push_back(var->getStringValue("id")); in initWithProps()
61 m_variants.clear(); in updateFromProps()
281 if (variantIndex >= m_variants.size()) { in qualifiedVariantId()
431 return m_variants; in variants()
463 string_list::const_iterator it = std::find(m_variants.begin(), m_variants.end(), actualId); in indexOfVariant()
464 if (it == m_variants.end()) { in indexOfVariant()
468 return std::distance(m_variants.begin(), it); in indexOfVariant()
505 return m_variants.front(); in parentIdForVariant()
515 for (unsigned int v = 0; v < m_variants.size(); ++v) { in primaryVariants()
[all …]
H A DPackage.hxx246 string_list m_variants; member in simgear::pkg::Package
/dports/math/clblas/clBLAS-2.10/src/library/blas/generic/
H A Dbinary_lookup.cc173 m_variants.push_back(Variant(INT, (char*)&num, sizeof(num))); in variantInt()
178 m_variants.push_back(Variant(DOUBLE, (char*)&num, sizeof(num))); in variantDouble()
183 m_variants.push_back(Variant(STRING, (char*)opts.c_str(), opts.size())); in variantCompileOptions()
188 m_variants.push_back(Variant(DATA, (char*)data, bytes)); in variantRaw()
221 whole_variant_size_in_bytes += this->m_variants.size() * sizeof(int); // for the variant kind in finalizeVariant()
225 for(size_t i=0 ; i<this->m_variants.size() ; ++i) in finalizeVariant()
227 const Variant & v = this->m_variants[i]; in finalizeVariant()
237 for(size_t i=0 ; i<this->m_variants.size() ; ++i) in finalizeVariant()
239 Variant v = this->m_variants[i]; in finalizeVariant()
299 this->m_variants.clear(); in loadBinaryAndSignature()
[all …]
/dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/src/common/
H A Dbcp47.cpp176 for (auto const &variant : m_variants) in format_internal()
294 m_variants.push_back(entry->code); in parse_extlangs_or_variants()
324 …|| (!is_extlang && !m_variants .empty() && (extlang_or_variant_index > (prefix.m_v… in matches_prefix()
331 … (restrictions.variants && prefix.m_variants .empty() && !m_varia… in matches_prefix()
348 for (auto const &variant : m_variants) in matches_prefix()
366 : m_variants[extlang_or_variant_index]; in validate_one_extlang_or_variant()
392 account(restrictions.variants, tag.m_variants.empty()); in validate_one_extlang_or_variant()
408 auto const &extlangs_or_variants = is_extlangs ? m_extended_language_subtags : m_variants; in validate_extlangs_or_variants()
577 m_variants = mtx::string::to_lower_ascii(variants); in set_variants()
645 return m_variants; in get_variants()
[all …]
H A Dbcp47.h43 std::vector<std::string> m_variants; // registered variants variable
/dports/science/gromacs/gromacs-2021.4/src/external/clFFT/src/library/
H A Dfft_binary_lookup.cpp223 m_variants.push_back(Variant(INT, (char*)&num, sizeof(num))); in variantInt()
228 m_variants.push_back(Variant(DOUBLE, (char*)&num, sizeof(num))); in variantDouble()
233 m_variants.push_back(Variant(STRING, (char*)opts.c_str(), opts.size())); in variantCompileOptions()
238 m_variants.push_back(Variant(DATA, (char*)data, bytes)); in variantRaw()
271 whole_variant_size_in_bytes += this->m_variants.size() * sizeof(int); // for the variant kind in finalizeVariant()
275 for(size_t i=0 ; i<this->m_variants.size() ; ++i) in finalizeVariant()
277 const Variant & v = this->m_variants[i]; in finalizeVariant()
293 for(size_t i=0 ; i<this->m_variants.size() ; ++i) in finalizeVariant()
295 Variant v = this->m_variants[i]; in finalizeVariant()
361 this->m_variants.clear(); in loadBinaryAndSignature()
[all …]
H A Dfft_binary_lookup.h269 std::vector<Variant> m_variants; variable
/dports/math/clfft/clFFT-2.12.2/src/library/
H A Dfft_binary_lookup.cpp226 m_variants.push_back(Variant(INT, (char*)&num, sizeof(num))); in variantInt()
231 m_variants.push_back(Variant(DOUBLE, (char*)&num, sizeof(num))); in variantDouble()
236 m_variants.push_back(Variant(STRING, (char*)opts.c_str(), opts.size())); in variantCompileOptions()
241 m_variants.push_back(Variant(DATA, (char*)data, bytes)); in variantRaw()
274 whole_variant_size_in_bytes += this->m_variants.size() * sizeof(int); // for the variant kind in finalizeVariant()
278 for(size_t i=0 ; i<this->m_variants.size() ; ++i) in finalizeVariant()
280 const Variant & v = this->m_variants[i]; in finalizeVariant()
296 for(size_t i=0 ; i<this->m_variants.size() ; ++i) in finalizeVariant()
298 Variant v = this->m_variants[i]; in finalizeVariant()
364 this->m_variants.clear(); in loadBinaryAndSignature()
[all …]
H A Dfft_binary_lookup.h269 std::vector<Variant> m_variants; variable
/dports/games/ksudoku/ksudoku-21.12.3/src/gui/
H A Dgamevariants.cpp70 qDeleteAll(m_variants); in ~GameVariantCollection()
71 m_variants.clear(); in ~GameVariantCollection()
75 int count = m_variants.count(); in addVariant()
77 m_variants.append(variant); in addVariant()
84 return m_variants.count(); in rowCount()
89 if ((row < 0) || (row >= m_variants.count())) in index()
91 return createIndex(row, column, m_variants[row]); in index()
95 if (!index.isValid() || index.row() >= m_variants.count()) in data()
H A Dgamevariants.h93 QList<GameVariant*> m_variants;
/dports/lang/solidity/solidity_0.8.11/test/libsolidity/
H A DASTJSONTest.cpp81 m_variants = { in ASTJSONTest()
115 for (TestVariant& variant: m_variants) in ASTJSONTest()
136 for (TestVariant& variant: m_variants) in run()
243 for (TestVariant const& variant: m_variants) in printUpdatedExpectations()
H A DASTJSONTest.h92 std::vector<TestVariant> m_variants; variable
/dports/math/clblas/clBLAS-2.10/src/include/
H A Dbinary_lookup.h265 std::vector<Variant> m_variants; variable