| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | aigprop.c | 54 assert (aprop); in btor_aigprop_get_assignment_aig()
120 assert (aprop); in compute_score_aig()
275 assert (aprop); in compute_scores()
292 if (!aprop->score) aprop->score = btor_hashint_map_new (mm); in compute_scores()
345 assert (aprop); in recursively_compute_assignment()
427 if (aprop->model) btor_aigprop_delete_model (aprop); in btor_aigprop_init_model()
428 aprop->model = btor_hashint_map_new (aprop->amgr->btor->mm); in btor_aigprop_init_model()
1061 if (aprop->score) btor_hashint_map_delete (aprop->score); in btor_aigprop_sat()
1122 if (aprop->score) btor_hashint_map_delete (aprop->score); in btor_aigprop_delete_aigprop()
1123 if (aprop->model) btor_hashint_map_delete (aprop->model); in btor_aigprop_delete_aigprop()
[all …]
|
| H A D | btorslvaigprop.c | 45 res->aprop = in clone_aigprop_solver()
60 if (slv->aprop) btor_aigprop_delete_aigprop (slv->aprop); in delete_aigprop_solver()
67 assert (aprop); in get_assignment_aig()
68 assert (aprop->model); in get_assignment_aig()
84 assert (aprop); in get_assignment_bv()
119 BtorAIGProp *aprop; in generate_model_from_aig_model() local
123 aprop = slv->aprop; in generate_model_from_aig_model()
124 assert (aprop); in generate_model_from_aig_model()
125 assert (aprop->model); in generate_model_from_aig_model()
238 assert (slv->aprop); in sat_aigprop_solver()
[all …]
|
| H A D | aigprop.h | 60 BtorAIGProp *btor_aigprop_clone_aigprop (BtorAIGMgr *clone, BtorAIGProp *aprop);
61 void btor_aigprop_delete_aigprop (BtorAIGProp *aprop);
63 int32_t btor_aigprop_get_assignment_aig (BtorAIGProp *aprop, BtorAIG *aig);
64 void btor_aigprop_generate_model (BtorAIGProp *aprop, bool reset);
66 int32_t btor_aigprop_sat (BtorAIGProp *aprop, BtorIntHashTable *roots);
69 void btor_aigprop_print_stats (BtorAIGProp * aprop);
70 void btor_aigprop_print_time_stats (BtorAIGProp * aprop);
|
| /dports/graphics/exiftags/exiftags-1.01/ |
| H A D | minolta.c | 439 aprop->tag = i; in minolta_cprop()
477 aprop->value += 1; in minolta_cprop()
484 aprop->str = valbuf; in minolta_cprop()
502 aprop->str = valbuf; in minolta_cprop()
513 aprop->str = valbuf; in minolta_cprop()
522 aprop->str = valbuf; in minolta_cprop()
533 aprop->str = valbuf; in minolta_cprop()
570 if (!aprop->value) in minolta_cprop()
632 aprop->value -= 3; in minolta_cprop()
633 if (aprop->value) in minolta_cprop()
[all …]
|
| H A D | canon.c | 943 switch (aprop->tag) { in canon_prop01()
974 aprop->lvl = ED_VRB; in canon_prop01()
982 aprop->lvl = ED_VRB; in canon_prop01()
1010 switch (aprop->tag) { in canon_prop04()
1027 aprop->lvl = ED_VRB; in canon_prop04()
1044 aprop->lvl = ED_VRB; in canon_prop04()
1066 aprop->lvl = ED_VRB; in canon_prop04()
1088 switch (aprop->tag) { in canon_propA0()
1091 snprintf(aprop->str, 31, "%d K", aprop->value); in canon_propA0()
1130 aprop->tag = i; in canon_subval()
[all …]
|
| H A D | olympus.c | 98 struct exifprop *aprop; in olympus_prop() local
116 aprop = childprop(prop); in olympus_prop()
118 aprop->name = "OlympusPicMode"; in olympus_prop()
119 aprop->descr = "Picture Mode"; in olympus_prop()
120 aprop->lvl = ED_UNK; in olympus_prop()
124 aprop = childprop(prop); in olympus_prop()
126 aprop->name = "OlympusSeqNum"; in olympus_prop()
128 aprop->lvl = ED_UNK; in olympus_prop()
132 aprop = childprop(prop); in olympus_prop()
134 aprop->name = "OlympusPanDir"; in olympus_prop()
[all …]
|
| H A D | sanyo.c | 268 struct exifprop *aprop; in sanyo_prop() local
283 aprop = childprop(prop); in sanyo_prop()
284 aprop->value = a; in sanyo_prop()
285 aprop->tag = i; in sanyo_prop()
288 aprop->count = 1; in sanyo_prop()
298 aprop->str = in sanyo_prop()
302 switch (aprop->tag) { in sanyo_prop()
304 if (!aprop->value) in sanyo_prop()
305 aprop->lvl = ED_VRB; in sanyo_prop()
306 aprop->value += 1; in sanyo_prop()
[all …]
|
| /dports/math/onednn/oneDNN-2.5.1/src/gpu/ocl/rnn/ |
| H A D | ref_postgemm.cpp | 24 template <prop_kind_t aprop>
25 elemwise_sig((_ref_rnn_common_t<aprop>::rnn_elemwise)) {
28 const compute::kernel_t &kernel = (aprop == prop_kind::forward)
49 template <prop_kind_t aprop>
50 elemwise_sig((_ref_rnn_common_t<aprop>::lstm_elemwise)) {
74 template <prop_kind_t aprop>
75 elemwise_sig((_ref_rnn_common_t<aprop>::lstm_elemwise_u8s8)) {
101 template <prop_kind_t aprop>
126 template <prop_kind_t aprop>
127 elemwise_sig_gru((_ref_rnn_common_t<aprop>::gru_elemwise)) {
[all …]
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/mkldnn/src/gpu/ocl/rnn/ |
| H A D | ref_postgemm.cpp | 24 template <prop_kind_t aprop>
25 elemwise_sig((_ref_rnn_common_t<aprop>::rnn_elemwise)) {
28 const compute::kernel_t &kernel = (aprop == prop_kind::forward)
48 template <prop_kind_t aprop>
49 elemwise_sig((_ref_rnn_common_t<aprop>::lstm_elemwise)) {
72 template <prop_kind_t aprop>
73 elemwise_sig((_ref_rnn_common_t<aprop>::lstm_elemwise_u8s8)) {
99 template <prop_kind_t aprop>
100 elemwise_sig((_ref_rnn_common_t<aprop>::gru_lbr_elemwise)) {
124 template <prop_kind_t aprop>
[all …]
|
| /dports/print/lilypond-devel/lilypond-2.23.5/lily/ |
| H A D | prob.cc | 56 SCM aprop = props[0][i]; in equal_p() local
59 for (;; aprop = scm_cdr (aprop), bprop = scm_cdr (bprop)) in equal_p()
63 while (scm_is_pair (aprop) in equal_p()
64 && scm_is_eq (origin_sym, scm_caar (aprop))) in equal_p()
65 aprop = scm_cdr (aprop); in equal_p()
72 if (!scm_is_pair (aprop)) in equal_p()
80 SCM aval = scm_cdar (aprop); in equal_p()
82 if (!scm_is_eq (scm_caar (aprop), scm_caar (bprop)) in equal_p()
|
| /dports/print/lilypond/lilypond-2.22.1/lily/ |
| H A D | prob.cc | 56 SCM aprop = props[0][i]; in equal_p() local
59 for (;; aprop = scm_cdr (aprop), bprop = scm_cdr (bprop)) in equal_p()
63 while (scm_is_pair (aprop) in equal_p()
64 && scm_is_eq (origin_sym, scm_caar (aprop))) in equal_p()
65 aprop = scm_cdr (aprop); in equal_p()
72 if (!scm_is_pair (aprop)) in equal_p()
80 SCM aval = scm_cdar (aprop); in equal_p()
82 if (!scm_is_eq (scm_caar (aprop), scm_caar (bprop)) in equal_p()
|
| /dports/devel/arm-elf-binutils/binutils-2.37/bfd/ |
| H A D | elf-properties.c | 224 unsigned int pr_type = aprop != NULL ? aprop->pr_type : bprop->pr_type; in elf_merge_gnu_properties()
250 return aprop == NULL; in elf_merge_gnu_properties()
259 number = aprop->u.number; in elf_merge_gnu_properties()
262 if (aprop->u.number == 0) in elf_merge_gnu_properties()
264 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
273 if (aprop != NULL) in elf_merge_gnu_properties()
275 if (aprop->u.number == 0) in elf_merge_gnu_properties()
302 number = aprop->u.number; in elf_merge_gnu_properties()
306 if (aprop->u.number == 0) in elf_merge_gnu_properties()
307 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
[all …]
|
| /dports/devel/gnulibiberty/binutils-2.37/bfd/ |
| H A D | elf-properties.c | 224 unsigned int pr_type = aprop != NULL ? aprop->pr_type : bprop->pr_type; in elf_merge_gnu_properties()
250 return aprop == NULL; in elf_merge_gnu_properties()
259 number = aprop->u.number; in elf_merge_gnu_properties()
262 if (aprop->u.number == 0) in elf_merge_gnu_properties()
264 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
273 if (aprop != NULL) in elf_merge_gnu_properties()
275 if (aprop->u.number == 0) in elf_merge_gnu_properties()
302 number = aprop->u.number; in elf_merge_gnu_properties()
306 if (aprop->u.number == 0) in elf_merge_gnu_properties()
307 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
[all …]
|
| /dports/devel/gdb/gdb-11.1/bfd/ |
| H A D | elf-properties.c | 224 unsigned int pr_type = aprop != NULL ? aprop->pr_type : bprop->pr_type; in elf_merge_gnu_properties()
250 return aprop == NULL; in elf_merge_gnu_properties()
259 number = aprop->u.number; in elf_merge_gnu_properties()
262 if (aprop->u.number == 0) in elf_merge_gnu_properties()
264 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
273 if (aprop != NULL) in elf_merge_gnu_properties()
275 if (aprop->u.number == 0) in elf_merge_gnu_properties()
302 number = aprop->u.number; in elf_merge_gnu_properties()
306 if (aprop->u.number == 0) in elf_merge_gnu_properties()
307 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
[all …]
|
| /dports/devel/binutils/binutils-2.37/bfd/ |
| H A D | elf-properties.c | 224 unsigned int pr_type = aprop != NULL ? aprop->pr_type : bprop->pr_type; in elf_merge_gnu_properties()
250 return aprop == NULL; in elf_merge_gnu_properties()
259 number = aprop->u.number; in elf_merge_gnu_properties()
262 if (aprop->u.number == 0) in elf_merge_gnu_properties()
264 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
273 if (aprop != NULL) in elf_merge_gnu_properties()
275 if (aprop->u.number == 0) in elf_merge_gnu_properties()
302 number = aprop->u.number; in elf_merge_gnu_properties()
306 if (aprop->u.number == 0) in elf_merge_gnu_properties()
307 aprop->pr_kind = property_remove; in elf_merge_gnu_properties()
[all …]
|
| /dports/databases/py-sqlobject/SQLObject-1.6.0/sqlobject/inheritance/tests/ |
| H A D | test_inheritance_tree.py | 10 aprop = StringCol(length=10) variable in Tree1
27 t1 = Tree1(aprop='t1')
28 t2 = Tree2(aprop='t2', bprop='t2')
29 t3 = Tree3(aprop='t3', cprop='t3')
30 t4 = Tree4(aprop='t4', bprop='t4', dprop='t4')
31 t5 = Tree5(aprop='t5', bprop='t5', eprop='t5')
|
| /dports/games/libretro-scummvm/scummvm-7b1e929/backends/platform/libretro/deps/freetype/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
216 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
217 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
224 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
225 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
230 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
231 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/math/vtk9/VTK-9.1.0/ThirdParty/freetype/vtkfreetype/src/sfnt/ |
| H A D | ttbdf.c | 141 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
152 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
217 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
218 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
225 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
226 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
231 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
232 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/games/iortcw/iortcw-1.51c/MP/code/freetype-2.9/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
218 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
219 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
226 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
227 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
232 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
233 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/games/iortcw/iortcw-1.51c/SP/code/freetype-2.9/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
218 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
219 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
226 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
227 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
232 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
233 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/www/firefox-esr/firefox-91.8.0/modules/freetype2/src/sfnt/ |
| H A D | ttbdf.c | 141 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
152 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
217 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
218 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
225 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
226 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
231 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
232 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/freetype/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
216 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
217 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
224 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
225 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
230 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
231 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/games/supertux2/SuperTux-v0.6.3-Source/external/SDL_ttf/external/freetype-2.4.12/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
216 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
217 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
224 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
225 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
230 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
231 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/databases/qt5-sqldrivers-sqlite2/kde-qtbase-5.15.2p263/src/3rdparty/freetype/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
218 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
219 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
226 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
227 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
232 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
233 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|
| /dports/databases/qt5-sqldrivers-sqlite3/kde-qtbase-5.15.2p263/src/3rdparty/freetype/src/sfnt/ |
| H A D | ttbdf.c | 142 BDF_PropertyRec *aprop ) in tt_face_find_bdf_prop() argument
153 aprop->type = BDF_PROPERTY_TYPE_NONE; in tt_face_find_bdf_prop()
218 aprop->type = BDF_PROPERTY_TYPE_ATOM; in tt_face_find_bdf_prop()
219 aprop->u.atom = (const char*)bdf->strings + value; in tt_face_find_bdf_prop()
226 aprop->type = BDF_PROPERTY_TYPE_INTEGER; in tt_face_find_bdf_prop()
227 aprop->u.integer = (FT_Int32)value; in tt_face_find_bdf_prop()
232 aprop->type = BDF_PROPERTY_TYPE_CARDINAL; in tt_face_find_bdf_prop()
233 aprop->u.cardinal = value; in tt_face_find_bdf_prop()
|