| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/acro/packages/scolib/src/libs/ |
| H A D | MultiStatePS.cpp | 94 virtual long pattern_id() const in pattern_id() function in scolib::MultiState_Patterns::FirstImproving
96 return ( pattern_info == NULL ? 0 : pattern_info->pattern_id ); in pattern_id()
279 pattern_id(ps->get_next_pattern_id()), in FirstImproving_PatternInfo()
297 long pattern_id; member
335 virtual long pattern_id() const in pattern_id() function in scolib::MultiState_Patterns::BestImproving
337 return ( pattern_info == NULL ? 0 : pattern_info->pattern_id ); in pattern_id()
538 pattern_id(ps->get_next_pattern_id()), in BestImproving_PatternInfo()
556 long pattern_id; member
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | smt_theory.cpp | 210 …gned axiom_id, unsigned num_bindings, app * const * bindings, unsigned pattern_id, const vector<st… in log_axiom_instantiation() argument
216 if (pattern_id == UINT_MAX) { in log_axiom_instantiation()
243 …id *>(nullptr) << " " << family_name << "#" << axiom_id << " " << family_name << "#" << pattern_id; in log_axiom_instantiation()
|
| H A D | smt_theory.h | 459 … app * const * bindings = nullptr, unsigned pattern_id = UINT_MAX,
463 … app * const * bindings = nullptr, unsigned pattern_id = UINT_MAX,
465 … log_axiom_instantiation(to_app(r), axiom_id, num_bindings, bindings, pattern_id, used_enodes);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | smt_theory.cpp | 198 …gned axiom_id, unsigned num_bindings, app * const * bindings, unsigned pattern_id, const vector<st… in log_axiom_instantiation() argument
203 if (pattern_id == UINT_MAX) { in log_axiom_instantiation()
230 …id *>(nullptr) << " " << family_name << "#" << axiom_id << " " << family_name << "#" << pattern_id; in log_axiom_instantiation()
|
| H A D | smt_theory.h | 456 … app * const * bindings = nullptr, unsigned pattern_id = UINT_MAX,
460 … app * const * bindings = nullptr, unsigned pattern_id = UINT_MAX,
462 … log_axiom_instantiation(to_app(r), axiom_id, num_bindings, bindings, pattern_id, used_enodes);
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ui/accessibility/platform/ |
| H A D | ax_fragment_root_win.cc | 101 IFACEMETHODIMP GetPatternProvider(PATTERNID pattern_id, in GetPatternProvider() argument
107 if (pattern_id == UIA_ItemContainerPatternId) { in GetPatternProvider()
113 return AXPlatformNodeWin::GetPatternProviderImpl(pattern_id, result); in GetPatternProvider()
|
| /dports/games/solarus/solarus-f43727b232b3ed13d98440a845e2a29e470e4f0d/include/solarus/entities/ |
| H A D | TileInfo.h | 37 std::string pattern_id; member
|
| H A D | BorderSet.h | 42 void set_pattern(BorderKind border_kind, const std::string& pattern_id);
|
| /dports/mail/gmime2/gmime-2.2.27/util/ |
| H A D | gtrie.h | 34 void g_trie_add (GTrie *trie, const char *pattern, int pattern_id);
|
| H A D | url-scanner.c | 79 int pattern_id; in url_scanner_scan() local
84 if (!(pos = g_trie_search (scanner->trie, in, inlen, &pattern_id))) in url_scanner_scan()
87 pat = g_ptr_array_index (scanner->patterns, pattern_id); in url_scanner_scan()
|
| /dports/mail/gmime26/gmime-2.6.23/util/ |
| H A D | gtrie.h | 34 void g_trie_add (GTrie *trie, const char *pattern, int pattern_id);
|
| H A D | url-scanner.c | 79 int pattern_id; in url_scanner_scan() local
84 if (!(pos = g_trie_search (scanner->trie, in, inlen, &pattern_id))) in url_scanner_scan()
87 pat = g_ptr_array_index (scanner->patterns, pattern_id); in url_scanner_scan()
|
| /dports/mail/astroid/astroid-0.15/src/utils/gmime/ |
| H A D | gtrie.h | 34 void g_trie_add (GTrie *trie, const char *pattern, int pattern_id);
|
| H A D | url-scanner.c | 80 int pattern_id; in url_scanner_scan() local
85 if (!(pos = g_trie_search (scanner->trie, in, inlen, &pattern_id))) in url_scanner_scan()
88 pat = g_ptr_array_index (scanner->patterns, pattern_id); in url_scanner_scan()
|
| /dports/mail/gmime30/gmime-3.2.7/util/ |
| H A D | gtrie.h | 34 void g_trie_add (GTrie *trie, const char *pattern, int pattern_id);
|
| H A D | url-scanner.c | 79 int pattern_id; in url_scanner_scan() local
84 if (!(pos = g_trie_search (scanner->trie, in, inlen, &pattern_id))) in url_scanner_scan()
87 pat = g_ptr_array_index (scanner->patterns, pattern_id); in url_scanner_scan()
|
| /dports/mail/gmime26-sharp/gmime-2.6.23/util/ |
| H A D | gtrie.h | 34 void g_trie_add (GTrie *trie, const char *pattern, int pattern_id);
|
| H A D | url-scanner.c | 79 int pattern_id; in url_scanner_scan() local
84 if (!(pos = g_trie_search (scanner->trie, in, inlen, &pattern_id))) in url_scanner_scan()
87 pat = g_ptr_array_index (scanner->patterns, pattern_id); in url_scanner_scan()
|
| /dports/databases/evolution-data-server/evolution-data-server-3.42.1/src/camel/ |
| H A D | camel-trie.h | 36 gint pattern_id);
|
| /dports/deskutils/gnote/gnote-41.1/src/ |
| H A D | trie.hpp | 133 void add_keyword(const Glib::ustring & keyword, const value_t & pattern_id) in add_keyword() argument
153 current_state->payload(pattern_id); in add_keyword()
|
| /dports/games/solarus-quest-editor/solarus-quest-editor-e541e1312c242bff10aa1fb84a7eb8b6cb8504ba/include/entities/ |
| H A D | tile.h | 35 void set_pattern_id(const QString& pattern_id);
|
| /dports/print/ghostscript9-agpl-base/ghostscript-9.52/base/ |
| H A D | gspcolor.h | 77 gs_id pattern_id
|
| H A D | gxhldevc.h | 60 gs_id pattern_id; member
|
| /dports/mail/alpine/alpine-465e23b/web/cgi/alpine/1.0/ |
| H A D | filter.tcl | 17 set pattern_id {
|
| /dports/print/ghostscript9-agpl-x11/ghostscript-9.52/base/ |
| H A D | gspcolor.h | 77 gs_id pattern_id
|