| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_prob.cpp | 54 unsigned cls_idx = m_unsat.elem_at(m_rand() % m_unsat.size()); in pick_var() local
57 clause const& c = get_clause(cls_idx); in pick_var()
78 for (unsigned cls_idx : use_list(*this, lit)) { in flip() local
79 clause_info& ci = m_clauses[cls_idx]; in flip()
83 m_unsat.insert(cls_idx); in flip()
93 for (unsigned cls_idx : use_list(*this, nlit)) { in flip() local
94 clause_info& ci = m_clauses[cls_idx]; in flip()
97 m_unsat.remove(cls_idx); in flip()
|
| H A D | sat_ddfw.cpp | 235 for (unsigned cls_idx : use_list(*this, lit)) { in flip() local
236 clause_info& ci = m_clauses[cls_idx]; in flip()
242 m_unsat.insert(cls_idx); in flip()
243 clause const& c = get_clause(cls_idx); in flip()
258 for (unsigned cls_idx : use_list(*this, nlit)) { in flip() local
259 clause_info& ci = m_clauses[cls_idx]; in flip()
265 m_unsat.remove(cls_idx); in flip()
266 clause const& c = get_clause(cls_idx); in flip()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_prob.cpp | 54 unsigned cls_idx = m_unsat.elem_at(m_rand() % m_unsat.size()); in pick_var() local
57 clause const& c = get_clause(cls_idx); in pick_var()
78 for (unsigned cls_idx : use_list(*this, lit)) { in flip() local
79 clause_info& ci = m_clauses[cls_idx]; in flip()
83 m_unsat.insert(cls_idx); in flip()
93 for (unsigned cls_idx : use_list(*this, nlit)) { in flip() local
94 clause_info& ci = m_clauses[cls_idx]; in flip()
97 m_unsat.remove(cls_idx); in flip()
|
| H A D | sat_ddfw.cpp | 235 for (unsigned cls_idx : use_list(*this, lit)) { in flip() local
236 clause_info& ci = m_clauses[cls_idx]; in flip()
242 m_unsat.insert(cls_idx); in flip()
243 clause const& c = get_clause(cls_idx); in flip()
258 for (unsigned cls_idx : use_list(*this, nlit)) { in flip() local
259 clause_info& ci = m_clauses[cls_idx]; in flip()
265 m_unsat.remove(cls_idx); in flip()
266 clause const& c = get_clause(cls_idx); in flip()
|
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ |
| H A D | xchaff_dbase.cpp | 92 int cls_idx = -lit_pool(i).val(); in compact_lit_pool() local
93 clause(cls_idx).first_lit() = &lit_pool(i) - clause(cls_idx).num_lits(); in compact_lit_pool()
|
| /dports/misc/py-gluonnlp/gluon-nlp-0.10.0/scripts/bert/ |
| H A D | embedding.py | 171 padding_idx, cls_idx, sep_idx = None, None, None
175 cls_idx = self.vocab[self.vocab.cls_token]
187 if cls_idx and token_id == cls_idx:
|
| /dports/devel/libfirm/libfirm-1.21.0/ir/be/ |
| H A D | beabihelper.c | 172 int cls_idx = reg->reg_class->index; in rsm_add_reg() local
177 assert(rsm->reg_index_map[cls_idx][reg_idx] == (size_t)-1); in rsm_add_reg()
178 rsm->reg_index_map[cls_idx][reg_idx] = input_idx; in rsm_add_reg()
203 int cls_idx = reg->reg_class->index; in rsm_get_reg_value() local
205 size_t input_idx = rsm->reg_index_map[cls_idx][reg_idx]; in rsm_get_reg_value()
226 int cls_idx = reg->reg_class->index; in rsm_set_reg_value() local
228 size_t input_idx = rsm->reg_index_map[cls_idx][reg_idx]; in rsm_set_reg_value()
|
| /dports/devel/cpp2py/cpp2py-2.0.0/cpp2rst/ |
| H A D | synopsis.py | 81 cls_idx = class_list.index(decl)
82 cls = class_list[cls_idx]
|
| /dports/misc/py-mxnet/incubator-mxnet-1.9.0/src/operator/contrib/ |
| H A D | mrcnn_mask_target.cu | 218 int cls_idx = mask_idx % num_classes; in MRCNNMaskTargetKernel() local
225 DType out_val = (cls_target == cls_idx); in MRCNNMaskTargetKernel()
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/src/operator/contrib/ |
| H A D | mrcnn_mask_target.cu | 218 int cls_idx = mask_idx % num_classes; in MRCNNMaskTargetKernel() local
225 DType out_val = (cls_target == cls_idx); in MRCNNMaskTargetKernel()
|
| /dports/x11/libXi/libXi-1.8/src/ |
| H A D | XExtInt.c | 1716 int cls_idx = 0; in copy_classes() local
1770 to->classes[cls_idx++] = any_lib; in copy_classes()
1792 to->classes[cls_idx++] = any_lib; in copy_classes()
1815 to->classes[cls_idx++] = any_lib; in copy_classes()
1835 to->classes[cls_idx++] = any_lib; in copy_classes()
1851 to->classes[cls_idx++] = any_lib; in copy_classes()
1866 to->classes[cls_idx++] = any_lib; in copy_classes()
1875 *nclasses = cls_idx; in copy_classes()
|
| /dports/misc/orange3/orange3-3.29.1/Orange/classification/ |
| H A D | calibration.py | 175 for cls_idx, cls_probs in enumerate(probabilities.T)]
|
| /dports/devel/interactive_rebase_tool/git-interactive-rebase-tool-1.2.1/cargo-crates/libgit2-sys-0.7.11/libgit2/deps/regex/ |
| H A D | regexec.c | 2866 int cls_idx; in find_subexp_node() local
2867 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2869 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/print/tex-basic-engines/texlive-20150521-source/texk/web2c/pdftexdir/regex/ |
| H A D | regexec.c | 2821 int cls_idx; in find_subexp_node() local
2822 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2824 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/git-gui/git-2.34.1/compat/regex/ |
| H A D | regexec.c | 2865 int cls_idx; in find_subexp_node() local
2866 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2868 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/git-p4/git-2.34.1/compat/regex/ |
| H A D | regexec.c | 2865 int cls_idx; in find_subexp_node() local
2866 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2868 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/git/git-2.34.1/compat/regex/ |
| H A D | regexec.c | 2865 int cls_idx; in find_subexp_node() local
2866 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2868 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/R-cran-git2r/git2r/src/libgit2/deps/regex/ |
| H A D | regexec.c | 2866 int cls_idx; in find_subexp_node() local
2867 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2869 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/arduino-ctags/ctags-5.8-arduino11/gnu_regex/ |
| H A D | regexec.c | 2854 int cls_idx; in find_subexp_node() local
2855 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2857 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/print/texlive-base/texlive-20150521-source/texk/chktex/regex/ |
| H A D | regexec.c | 2821 int cls_idx; in find_subexp_node() local
2822 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2824 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/kBuild/kBuild-0.1.9998/src/sed/lib/ |
| H A D | regexec.c | 2849 int cls_idx; in find_subexp_node() local
2850 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2852 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/git-cvs/git-2.34.1/compat/regex/ |
| H A D | regexec.c | 2865 int cls_idx; in find_subexp_node() local
2866 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2868 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/comms/direwolf/direwolf-1.6/external/regex/ |
| H A D | regexec.c | 2865 int cls_idx; in find_subexp_node() local
2866 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2868 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/ctags/ctags-5.8/gnu_regex/ |
| H A D | regexec.c | 2854 int cls_idx; in find_subexp_node() local
2855 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2857 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|
| /dports/devel/geany/geany-1.38/ctags/gnu_regex/ |
| H A D | regexec.c | 2858 int cls_idx; in find_subexp_node() local
2859 for (cls_idx = 0; cls_idx < nodes->nelem; ++cls_idx) in find_subexp_node()
2861 int cls_node = nodes->elems[cls_idx]; in find_subexp_node()
|