| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | api_quant.cpp | 31 unsigned num_patterns, Z3_pattern const patterns[], in Z3_mk_quantifier() argument
42 num_patterns, patterns, in Z3_mk_quantifier()
57 unsigned num_patterns, Z3_pattern const patterns[], in mk_quantifier_ex_core() argument
68 if (num_patterns > 0 && num_no_patterns > 0) { in mk_quantifier_ex_core()
76 for (unsigned i = 0; i < num_patterns; i++) { in mk_quantifier_ex_core()
95 num_patterns, ps, in mk_quantifier_ex_core()
219 if (num_patterns > 0 && num_no_patterns > 0) { in Z3_mk_quantifier_const_ex()
245 for (unsigned i = 0; i < num_patterns; ++i) { in Z3_mk_quantifier_const_ex()
319 LOG_Z3_mk_pattern(c, num_patterns, terms); in Z3_mk_pattern()
321 for (unsigned i = 0; i < num_patterns; ++i) { in Z3_mk_pattern()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ |
| H A D | api_quant.cpp | 31 unsigned num_patterns, Z3_pattern const patterns[],
42 num_patterns, patterns,
57 unsigned num_patterns, Z3_pattern const patterns[],
68 if (num_patterns > 0 && num_no_patterns > 0) {
76 for (unsigned i = 0; i < num_patterns; i++) {
95 num_patterns, ps,
219 if (num_patterns > 0 && num_no_patterns > 0) {
245 for (unsigned i = 0; i < num_patterns; ++i) {
319 LOG_Z3_mk_pattern(c, num_patterns, terms);
321 for (unsigned i = 0; i < num_patterns; ++i) {
[all …]
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/algo/cobalt/ |
| H A D | patterns.cpp | 3033 int num_patterns = 0; in BEGIN_SCOPE() local
3034 while(kDefPatterns[num_patterns]) { in BEGIN_SCOPE()
3035 num_patterns++; in BEGIN_SCOPE()
3039 patterns.resize(num_patterns); in BEGIN_SCOPE()
3040 for (int i=0;kDefPatterns[i] && i < num_patterns;i++) { in BEGIN_SCOPE()
|
| /dports/audio/klystrack/klystrack-1.7.6-make-fix-12-gfe6e746/src/ |
| H A D | optimize.c | 98 for (int p = 0 ; p < song->num_patterns ; ++p) in is_instrument_used()
113 for (int p = 0 ; p < song->num_patterns ; ++p) in remove_instrument()
153 for (int p = 0 ; p < song->num_patterns ; ++p) in is_wavetable_used()
191 for (int p = 0 ; p < song->num_patterns ; ++p) in remove_wavetable()
231 for (int a = p ; a < song->num_patterns - 1 ; ++a) in remove_pattern()
237 if (song->num_patterns >= 1) in remove_pattern()
240 --song->num_patterns; in remove_pattern()
248 int orig_count = song->num_patterns; in optimize_duplicate_patterns()
250 for (int a = 0 ; a < song->num_patterns ; ++a) in optimize_duplicate_patterns()
264 for (int a = 0 ; a < song->num_patterns ; ) in optimize_duplicate_patterns()
[all …]
|
| /dports/mail/spamassassin-devel/spamassassin-1ea352210/masses/evolve_metarule/ |
| H A D | evolve_metarule.c | 59 int num_patterns; /* The number of unique patterns. */ variable
85 if ( fscanf (pfile, "%d %d %d", &num_rules, &max_hits, &num_patterns) != 3 ) { in load_patterns()
90 assert(pattern_data = (int*)malloc(sizeof(int) * max_hits * num_patterns)); in load_patterns()
91 assert(pattern_size_data = (int*)malloc(sizeof(int) * num_patterns)); in load_patterns()
92 assert(pattern_count_data = (int*)malloc(sizeof(int) * num_patterns)); in load_patterns()
93 assert(class_data = (int*)malloc(sizeof(int) * num_patterns)); in load_patterns()
95 for (p = 0; p < num_patterns; p++) { in load_patterns()
139 for (i = 0; i < num_patterns; i++) { in pattern_score()
201 for (i = 0; i < num_patterns; i++) { in print_entity()
|
| /dports/graphics/gimp-app/gimp-2.10.30/libgimp/ |
| H A D | gimppatterns_pdb.c | 83 gint *num_patterns) in gimp_patterns_get_list() argument
95 *num_patterns = 0; in gimp_patterns_get_list()
99 *num_patterns = return_vals[1].data.d_int32; in gimp_patterns_get_list()
100 if (*num_patterns > 0) in gimp_patterns_get_list()
102 pattern_list = g_new0 (gchar *, *num_patterns + 1); in gimp_patterns_get_list()
103 for (i = 0; i < *num_patterns; i++) in gimp_patterns_get_list()
|
| /dports/security/snort3/snort3-3.1.19.0/src/network_inspectors/appid/detector_plugins/ |
| H A D | sip_patterns.cc | 117 int num_patterns; in finalize_patterns() local
126 num_patterns = odp_ctxt.get_http_matchers().parse_multiple_http_patterns( in finalize_patterns()
128 patterns[num_patterns].pattern = nullptr; in finalize_patterns()
136 num_patterns = odp_ctxt.get_http_matchers().parse_multiple_http_patterns( in finalize_patterns()
138 patterns[num_patterns].pattern = nullptr; in finalize_patterns()
|
| /dports/games/solarus/solarus-f43727b232b3ed13d98440a845e2a29e470e4f0d/src/audio/ |
| H A D | ItDecoder.cpp | 93 const int num_patterns = ModPlug_NumPatterns(modplug_file.get()); in get_channel_volume() local
98 if (num_patterns == 0) { in get_channel_volume()
120 const unsigned int num_patterns = ModPlug_NumPatterns(modplug_file.get()); in set_channel_volume() local
122 for (unsigned int pattern = 0; pattern < num_patterns; ++pattern) { in set_channel_volume()
|
| /dports/security/snort/snort-2.9.18/src/dynamic-preprocessors/appid/detector_plugins/ |
| H A D | http_url_patterns.c | 85 int num_patterns; in addMlmpPattern() local
153 …num_patterns = parseMultipleHTTPPatterns((const char *)host_pattern, patterns, PATTERN_PART_MAX, … in addMlmpPattern()
155 …num_patterns += parseMultipleHTTPPatterns((const char *)path_pattern, patterns+num_patterns, PATT… in addMlmpPattern()
157 patterns[num_patterns].pattern = NULL; in addMlmpPattern()
|
| /dports/audio/klystrack/klystrack-1.7.6-make-fix-12-gfe6e746/src/import/ |
| H A D | xm.c | 65 Uint16 num_patterns; in import_xm() member
83 fread(&header.num_patterns, 1, sizeof(header.num_patterns), f); in import_xm()
102 FIX_ENDIAN(header.num_patterns); in import_xm()
113 if ((int)header.num_channels * (int)header.num_patterns > NUM_PATTERNS) in import_xm()
128 for (int p = 0 ; p < header.num_patterns ; ++p) in import_xm()
435 mused.song.num_patterns = header.num_patterns * header.num_channels; in import_xm()
|
| /dports/net/sslh/sslh-1.21c/ |
| H A D | sslh-main.c | 146 int num_patterns, i, res; in setup_regex_probe() local
151 num_patterns = p->regex_patterns_len; in setup_regex_probe()
153 pattern_list = calloc(num_patterns + 1, sizeof(*pattern_list)); in setup_regex_probe()
157 for (i = 0; i < num_patterns; i++) { in setup_regex_probe()
|
| /dports/graphics/gimp-app/gimp-2.10.30/app/pdb/ |
| H A D | patterns-cmds.c | 70 gint32 num_patterns = 0; in patterns_get_list_invoker() local
78 filter, &num_patterns); in patterns_get_list_invoker()
86 g_value_set_int (gimp_value_array_index (return_vals, 1), num_patterns); in patterns_get_list_invoker()
87 … gimp_value_take_stringarray (gimp_value_array_index (return_vals, 2), pattern_list, num_patterns); in patterns_get_list_invoker()
|
| /dports/security/snort/snort-2.9.18/src/dynamic-preprocessors/sdf/ |
| H A D | spp_sdf.h | 60 uint32_t num_patterns, global_counter; member
72 uint32_t num_patterns; member
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/pdfium/fxbarcode/oned/ |
| H A D | BC_OnedCode128Writer_unittest.cpp | 15 size_t num_patterns; member
42 ASSERT_EQ(test_case.num_patterns, patterns.size()); in TEST()
75 ASSERT_EQ(test_case.num_patterns, patterns.size()); in TEST()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/pdfium/fxbarcode/oned/ |
| H A D | BC_OnedCode128Writer_unittest.cpp | 16 size_t num_patterns; member
43 ASSERT_EQ(test_case.num_patterns, patterns.size()); in TEST()
76 ASSERT_EQ(test_case.num_patterns, patterns.size()); in TEST()
|
| /dports/sysutils/xorriso/libisoburn-1.5.0/xorriso/ |
| H A D | match.h | 52 int count, int nonconst_mismatches, int num_patterns,
69 int num_patterns, char **patterns, int extra_filec,
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | var_subst.cpp | 84 unsigned num_patterns = q->get_num_patterns(); in operator ()() local
85 for (unsigned i = 0; i < num_patterns; i++) in operator ()()
151 for (unsigned i = 0; i < num_patterns; i++) { in operator ()()
166 num_patterns, in operator ()()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | var_subst.cpp | 98 unsigned num_patterns = q->get_num_patterns(); in operator ()() local
99 for (unsigned i = 0; i < num_patterns; i++) in operator ()()
165 for (unsigned i = 0; i < num_patterns; i++) { in operator ()()
180 num_patterns, in operator ()()
|
| /dports/graphics/mapserver/mapserver-7.6.4/ |
| H A D | maptime.c | 268 int num_patterns = 0; in msParseTime() local
278 num_patterns = ms_num_limited_pattern; in msParseTime()
280 num_patterns = MS_NUMTIMEFORMATS; in msParseTime()
282 for(i=0; i<num_patterns; i++) { in msParseTime()
|
| /dports/audio/libmikmod/libmikmod-3.3.11.1/loaders/ |
| H A D | load_asy.c | 60 UBYTE num_patterns; /* number of patterns used */ member
287 mh->num_patterns = _mm_read_UBYTE(modreader); in ASY_Load()
324 of.numpat = mh->num_patterns; in ASY_Load()
|
| /dports/multimedia/librav1e/rav1e-0.5.1/cargo-crates/aho-corasick-0.7.18/src/packed/ |
| H A D | rabinkarp.rs | 136 let num_patterns = self.max_pattern_id as usize + 1; in heap_bytes() localVariable
138 + num_patterns * mem::size_of::<(Hash, PatternID)>() in heap_bytes()
|
| /dports/devel/stylua/StyLua-0.11.0/cargo-crates/aho-corasick-0.7.18/src/packed/ |
| H A D | rabinkarp.rs | 136 let num_patterns = self.max_pattern_id as usize + 1; in heap_bytes() localVariable
138 + num_patterns * mem::size_of::<(Hash, PatternID)>() in heap_bytes()
|
| /dports/multimedia/rav1e/rav1e-0.5.1/cargo-crates/aho-corasick-0.7.18/src/packed/ |
| H A D | rabinkarp.rs | 136 let num_patterns = self.max_pattern_id as usize + 1; in heap_bytes() localVariable
138 + num_patterns * mem::size_of::<(Hash, PatternID)>() in heap_bytes()
|
| /dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/aho-corasick-0.7.18/src/packed/ |
| H A D | rabinkarp.rs | 136 let num_patterns = self.max_pattern_id as usize + 1; in heap_bytes() localVariable
138 + num_patterns * mem::size_of::<(Hash, PatternID)>() in heap_bytes()
|
| /dports/misc/broot/broot-1.7.0/cargo-crates/aho-corasick-0.7.18/src/packed/ |
| H A D | rabinkarp.rs | 136 let num_patterns = self.max_pattern_id as usize + 1; in heap_bytes() localVariable
138 + num_patterns * mem::size_of::<(Hash, PatternID)>() in heap_bytes()
|