| /dports/news/slrn/slrn-1.0.3/src/ |
| H A D | score.c | 149 struct Score_Regexp_Type *srt; member
227 static int match_srt (Slrn_Header_Type *h, Score_Regexp_Type *srt, in match_srt()
435 Score_Regexp_Type *srt; in slrn_score_header() local
486 static int compile_psrt (PScore_Regexp_Type *psrt, Score_Regexp_Type *srt, in compile_psrt()
560 Score_Regexp_Type *srt; in chain_group_regexp() local
590 static void free_srt_internal (Score_Regexp_Type *srt) in free_srt_internal()
630 static void free_srt (Score_Regexp_Type *srt) in free_srt()
643 Score_Regexp_Type *srt; in free_group_chain() local
1067 static int phrase_score_file (char *file, FILE *fp, Score_Context_Type *c, in phrase_score_file()
1352 FILE *fp; in read_score_file_internal() local
|
| /dports/japanese/slrn/slrn-0.9.6.2/src/ |
| H A D | score.c | 192 Score_Regexp_Type *srt = &st->regexp_list; in slrn_score_header() local
377 Score_Regexp_Type *srt; in chain_group_regexp() local
450 Score_Regexp_Type *srt; in free_group_chain() local
854 FILE *fp; in read_score_file_internal() local
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/base/ |
| H A D | dl_context.cpp | 200 … context::context(ast_manager & m, register_engine_base& re, smt_params& fp, params_ref const& pa): in context()
364 context::finite_element context::get_constant_number(relation_sort srt, symbol sym) { in get_constant_number()
371 context::finite_element context::get_constant_number(relation_sort srt, uint64_t el) { in get_constant_number()
382 void context::print_constant_name(relation_sort srt, uint64_t num, std::ostream & out) in print_constant_name()
393 bool context::try_get_sort_constant_count(relation_sort srt, uint64_t & constant_count) { in try_get_sort_constant_count()
401 uint64_t context::get_sort_size_estimate(relation_sort srt) { in get_sort_size_estimate()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/ |
| H A D | dl_context.cpp | 199 … context::context(ast_manager & m, register_engine_base& re, smt_params& fp, params_ref const& pa): in context()
363 context::finite_element context::get_constant_number(relation_sort srt, symbol sym) { in get_constant_number()
370 context::finite_element context::get_constant_number(relation_sort srt, uint64_t el) { in get_constant_number()
381 void context::print_constant_name(relation_sort srt, uint64_t num, std::ostream & out) in print_constant_name()
392 bool context::try_get_sort_constant_count(relation_sort srt, uint64_t & constant_count) { in try_get_sort_constant_count()
400 uint64_t context::get_sort_size_estimate(relation_sort srt) { in get_sort_size_estimate()
|
| /dports/math/z3/z3-z3-4.8.13/examples/tptp/ |
| H A D | tptp5.cpp | 486 z3::sort srt(m_context.bool_sort()); in fof_formula() local
588 z3::sort srt(m_context); in mk_sort() local
992 FILE* fp = 0; in open_file() local
1051 FILE* fp = open_file(filename); in file_exists() local
1158 FILE* fp = open_file(filename); in parse() local
1223 z3::sort srt(f.range()); in display_func_decl() local
1348 z3::sort srt(ctx, Z3_get_quantifier_bound_sort(ctx, e, i)); in display() local
1899 z3::sort srt(ctx, Z3_get_quantifier_bound_sort(e.ctx(), e, i)); in collect_decls() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/examples/tptp/ |
| H A D | tptp5.cpp | 486 z3::sort srt(m_context.bool_sort()); in fof_formula() local
588 z3::sort srt(m_context); in mk_sort() local
992 FILE* fp = 0; in open_file() local
1051 FILE* fp = open_file(filename); in file_exists() local
1158 FILE* fp = open_file(filename); in parse() local
1223 z3::sort srt(f.range()); in display_func_decl() local
1348 z3::sort srt(ctx, Z3_get_quantifier_bound_sort(ctx, e, i)); in display() local
1899 z3::sort srt(ctx, Z3_get_quantifier_bound_sort(e.ctx(), e, i)); in collect_decls() local
|
| /dports/science/rdkit/rdkit-Release_2021_03_5/Code/MinimalLib/ |
| H A D | minilib.cpp | 287 const auto srt = rj::StringRef(dns[i].c_str()); in get_descriptors() local
306 auto fp = MorganFingerprints::getFingerprintAsBitVect(*d_mol, radius, fplen); in get_morgan_fp() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | theory_seq.cpp | 1973 sort* srt = m.get_sort(e); in mk_value() local
1985 sort* srt = m.get_sort(e); in mk_value() local
2052 sort* srt = m.get_sort(ls.get(0)); in validate_model() local
2284 smt_params fp; in validate_fmls() local
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | theory_seq.cpp | 2033 sort* srt = e->get_sort(); in mk_value() local
2045 sort* srt = e->get_sort(); in mk_value() local
2112 sort* srt = eq.ls[0]->get_sort(); in validate_model() local
2344 smt_params fp; in validate_fmls() local
|
| /dports/audio/musescore/MuseScore-3.6.1/mscore/ |
| H A D | musescore.cpp | 4318 const Shortcut* srt = Shortcut::getShortcut(tabNames[i]); in changeState() local
4326 const Shortcut* srt = Shortcut::getShortcut(stdNames[i]); in changeState() local
6963 QString fp = fi.canonicalFilePath(); in recentScores() local
|
| /dports/net/wireshark-lite/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-dcerpc.c | 1279 const guint8 fp = drep[1]; in proto_tree_add_dcerpc_drep() local
1952 dcerpcstat_init(struct register_srt* srt, GArray* srt_array) in dcerpcstat_init()
2028 dcerpcstat_param(register_srt_t* srt, const char* opt_arg, char** err) in dcerpcstat_param()
|
| /dports/net/wireshark/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-dcerpc.c | 1279 const guint8 fp = drep[1]; in proto_tree_add_dcerpc_drep() local
1952 dcerpcstat_init(struct register_srt* srt, GArray* srt_array) in dcerpcstat_init()
2028 dcerpcstat_param(register_srt_t* srt, const char* opt_arg, char** err) in dcerpcstat_param()
|
| /dports/net/tshark-lite/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-dcerpc.c | 1279 const guint8 fp = drep[1]; in proto_tree_add_dcerpc_drep() local
1952 dcerpcstat_init(struct register_srt* srt, GArray* srt_array) in dcerpcstat_init()
2028 dcerpcstat_param(register_srt_t* srt, const char* opt_arg, char** err) in dcerpcstat_param()
|
| /dports/net/tshark/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-dcerpc.c | 1279 const guint8 fp = drep[1]; in proto_tree_add_dcerpc_drep() local
1952 dcerpcstat_init(struct register_srt* srt, GArray* srt_array) in dcerpcstat_init()
2028 dcerpcstat_param(register_srt_t* srt, const char* opt_arg, char** err) in dcerpcstat_param()
|