| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_types.c | 190 bv10, i, type_depth(&table, i)); in main()
201 bv32, i, type_depth(&table, i)); in main()
225 ft, i, type_depth(&table, i)); in main()
271 var1, i, type_depth(&table, i)); in main()
280 var2, i, type_depth(&table, i)); in main()
289 fvar1, i, type_depth(&table, i)); in main()
298 fvar1, i, type_depth(&table, i)); in main()
325 tvar, i, type_depth(&table, i)); in main()
334 tvar, i, type_depth(&table, i)); in main()
343 tvar, i, type_depth(&table, i)); in main()
[all …]
|
| /dports/net/openmpi/openmpi-4.1.1/opal/mca/hwloc/hwloc201/hwloc/hwloc/ |
| H A D | topology.c | 917 new->type_depth[i] = old->type_depth[i]; in hwloc__topology_dup()
2192 topology->type_depth[i] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2377 if (topology->type_depth[type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_filter_levels_keep_structure()
2378 topology->type_depth[type] = (int)i; in hwloc_filter_levels_keep_structure()
2380 topology->type_depth[type] = HWLOC_TYPE_DEPTH_MULTIPLE; in hwloc_filter_levels_keep_structure()
2757 topology->type_depth[root->type] = 0; in hwloc_connect_levels()
2848 if (topology->type_depth[top_obj->type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_connect_levels()
2849 topology->type_depth[top_obj->type] = (int) topology->nb_levels; in hwloc_connect_levels()
3220 topology->type_depth[HWLOC_OBJ_NUMANODE] = HWLOC_TYPE_DEPTH_NUMANODE; in hwloc_topology_setup_defaults()
3221 topology->type_depth[HWLOC_OBJ_MISC] = HWLOC_TYPE_DEPTH_MISC; in hwloc_topology_setup_defaults()
[all …]
|
| /dports/devel/hwloc2/hwloc-2.5.0/hwloc/ |
| H A D | topology.c | 1063 new->type_depth[i] = old->type_depth[i]; in hwloc__topology_dup()
2436 topology->type_depth[i] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2438 topology->type_depth[HWLOC_OBJ_DIE] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2643 if (topology->type_depth[type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_filter_levels_keep_structure()
2644 topology->type_depth[type] = (int)i; in hwloc_filter_levels_keep_structure()
2646 topology->type_depth[type] = HWLOC_TYPE_DEPTH_MULTIPLE; in hwloc_filter_levels_keep_structure()
3010 topology->type_depth[root->type] = 0; in hwloc_connect_levels()
3119 topology->type_depth[top_obj->type] = (int) topology->nb_levels; in hwloc_connect_levels()
3613 topology->type_depth[HWLOC_OBJ_NUMANODE] = HWLOC_TYPE_DEPTH_NUMANODE; in hwloc_topology_setup_defaults()
3614 topology->type_depth[HWLOC_OBJ_MISC] = HWLOC_TYPE_DEPTH_MISC; in hwloc_topology_setup_defaults()
[all …]
|
| /dports/net/mpich/mpich-3.4.3/modules/hwloc/hwloc/ |
| H A D | topology.c | 1027 new->type_depth[i] = old->type_depth[i]; in hwloc__topology_dup()
2394 topology->type_depth[i] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2396 topology->type_depth[HWLOC_OBJ_DIE] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2601 if (topology->type_depth[type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_filter_levels_keep_structure()
2602 topology->type_depth[type] = (int)i; in hwloc_filter_levels_keep_structure()
2604 topology->type_depth[type] = HWLOC_TYPE_DEPTH_MULTIPLE; in hwloc_filter_levels_keep_structure()
2968 topology->type_depth[root->type] = 0; in hwloc_connect_levels()
3077 topology->type_depth[top_obj->type] = (int) topology->nb_levels; in hwloc_connect_levels()
3567 topology->type_depth[HWLOC_OBJ_NUMANODE] = HWLOC_TYPE_DEPTH_NUMANODE; in hwloc_topology_setup_defaults()
3568 topology->type_depth[HWLOC_OBJ_MISC] = HWLOC_TYPE_DEPTH_MISC; in hwloc_topology_setup_defaults()
[all …]
|
| /dports/net/mpich/mpich-3.4.3/src/pm/hydra2/libhydra/topo/hwloc/hwloc/hwloc/ |
| H A D | topology.c | 1027 new->type_depth[i] = old->type_depth[i]; in hwloc__topology_dup()
2394 topology->type_depth[i] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2396 topology->type_depth[HWLOC_OBJ_DIE] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2601 if (topology->type_depth[type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_filter_levels_keep_structure()
2602 topology->type_depth[type] = (int)i; in hwloc_filter_levels_keep_structure()
2604 topology->type_depth[type] = HWLOC_TYPE_DEPTH_MULTIPLE; in hwloc_filter_levels_keep_structure()
2968 topology->type_depth[root->type] = 0; in hwloc_connect_levels()
3077 topology->type_depth[top_obj->type] = (int) topology->nb_levels; in hwloc_connect_levels()
3567 topology->type_depth[HWLOC_OBJ_NUMANODE] = HWLOC_TYPE_DEPTH_NUMANODE; in hwloc_topology_setup_defaults()
3568 topology->type_depth[HWLOC_OBJ_MISC] = HWLOC_TYPE_DEPTH_MISC; in hwloc_topology_setup_defaults()
[all …]
|
| /dports/net/mpich/mpich-3.4.3/src/pm/hydra/tools/topo/hwloc/hwloc/hwloc/ |
| H A D | topology.c | 1027 new->type_depth[i] = old->type_depth[i]; in hwloc__topology_dup()
2394 topology->type_depth[i] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2396 topology->type_depth[HWLOC_OBJ_DIE] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_reset_normal_type_depths()
2601 if (topology->type_depth[type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_filter_levels_keep_structure()
2602 topology->type_depth[type] = (int)i; in hwloc_filter_levels_keep_structure()
2604 topology->type_depth[type] = HWLOC_TYPE_DEPTH_MULTIPLE; in hwloc_filter_levels_keep_structure()
2968 topology->type_depth[root->type] = 0; in hwloc_connect_levels()
3077 topology->type_depth[top_obj->type] = (int) topology->nb_levels; in hwloc_connect_levels()
3567 topology->type_depth[HWLOC_OBJ_NUMANODE] = HWLOC_TYPE_DEPTH_NUMANODE; in hwloc_topology_setup_defaults()
3568 topology->type_depth[HWLOC_OBJ_MISC] = HWLOC_TYPE_DEPTH_MISC; in hwloc_topology_setup_defaults()
[all …]
|
| /dports/devel/hwloc/hwloc-1.11.13/src/ |
| H A D | topology.c | 2352 topology->type_depth[l] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_connect_levels()
2354 topology->type_depth[topology->levels[0][0]->type] = 0; in hwloc_connect_levels()
2458 if (topology->type_depth[top_obj->type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_connect_levels()
2459 topology->type_depth[top_obj->type] = topology->nb_levels; in hwloc_connect_levels()
2461 topology->type_depth[top_obj->type] = HWLOC_TYPE_DEPTH_MULTIPLE; /* mark as unknown */ in hwloc_connect_levels()
2779 topology->type_depth[l] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_topology_setup_defaults()
2780 topology->type_depth[HWLOC_OBJ_BRIDGE] = HWLOC_TYPE_DEPTH_BRIDGE; in hwloc_topology_setup_defaults()
2781 topology->type_depth[HWLOC_OBJ_PCI_DEVICE] = HWLOC_TYPE_DEPTH_PCI_DEVICE; in hwloc_topology_setup_defaults()
2782 topology->type_depth[HWLOC_OBJ_OS_DEVICE] = HWLOC_TYPE_DEPTH_OS_DEVICE; in hwloc_topology_setup_defaults()
|
| /dports/net/openmpi3/openmpi-3.1.6/opal/mca/hwloc/hwloc1117/hwloc/src/ |
| H A D | topology.c | 2309 topology->type_depth[l] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_connect_levels()
2311 topology->type_depth[topology->levels[0][0]->type] = 0; in hwloc_connect_levels()
2415 if (topology->type_depth[top_obj->type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_connect_levels()
2416 topology->type_depth[top_obj->type] = topology->nb_levels; in hwloc_connect_levels()
2418 topology->type_depth[top_obj->type] = HWLOC_TYPE_DEPTH_MULTIPLE; /* mark as unknown */ in hwloc_connect_levels()
2736 topology->type_depth[l] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_topology_setup_defaults()
2737 topology->type_depth[HWLOC_OBJ_BRIDGE] = HWLOC_TYPE_DEPTH_BRIDGE; in hwloc_topology_setup_defaults()
2738 topology->type_depth[HWLOC_OBJ_PCI_DEVICE] = HWLOC_TYPE_DEPTH_PCI_DEVICE; in hwloc_topology_setup_defaults()
2739 topology->type_depth[HWLOC_OBJ_OS_DEVICE] = HWLOC_TYPE_DEPTH_OS_DEVICE; in hwloc_topology_setup_defaults()
|
| /dports/net/mpich2/mpich2-1.5/src/pm/hydra/tools/topo/hwloc/hwloc/src/ |
| H A D | topology.c | 1871 topology->type_depth[l] = HWLOC_TYPE_DEPTH_UNKNOWN; in hwloc_connect_levels()
1873 topology->type_depth[topology->levels[0][0]->type] = 0; in hwloc_connect_levels()
1880 topology->type_depth[HWLOC_OBJ_BRIDGE] = HWLOC_TYPE_DEPTH_BRIDGE; in hwloc_connect_levels()
1885 topology->type_depth[HWLOC_OBJ_PCI_DEVICE] = HWLOC_TYPE_DEPTH_PCI_DEVICE; in hwloc_connect_levels()
1890 topology->type_depth[HWLOC_OBJ_OS_DEVICE] = HWLOC_TYPE_DEPTH_OS_DEVICE; in hwloc_connect_levels()
1979 if (topology->type_depth[top_obj->type] == HWLOC_TYPE_DEPTH_UNKNOWN) in hwloc_connect_levels()
1980 topology->type_depth[top_obj->type] = topology->nb_levels; in hwloc_connect_levels()
1982 topology->type_depth[top_obj->type] = HWLOC_TYPE_DEPTH_MULTIPLE; /* mark as unknown */ in hwloc_connect_levels()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/java/ |
| H A D | verify-impl.c | 717 type_depth (type *t) in type_depth() function
1149 s->stackdepth -= type_depth (&r); in pop_raw()
1224 depth = type_depth (&t); in vfy_push_type_t()
1250 depth = type_depth (&t); in set_variable()
1265 int depth = type_depth (t); in get_variable_t()
2970 nargs -= type_depth (&arg_types[i]); in verify_instructions_0()
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/java/ |
| H A D | verify-impl.c | 717 type_depth (type *t) in type_depth() function
1149 s->stackdepth -= type_depth (&r); in pop_raw()
1224 depth = type_depth (&t); in vfy_push_type_t()
1250 depth = type_depth (&t); in set_variable()
1265 int depth = type_depth (t); in get_variable_t()
2970 nargs -= type_depth (&arg_types[i]); in verify_instructions_0()
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/java/ |
| H A D | verify-impl.c | 717 type_depth (type *t) in type_depth() function
1149 s->stackdepth -= type_depth (&r); in pop_raw()
1224 depth = type_depth (&t); in vfy_push_type_t()
1250 depth = type_depth (&t); in set_variable()
1265 int depth = type_depth (t); in get_variable_t()
2970 nargs -= type_depth (&arg_types[i]); in verify_instructions_0()
|
| /dports/textproc/xlnt/xlnt-1.5.0-92-g20f3dac2/third-party/pybind11/include/pybind11/ |
| H A D | pybind11.h | 208 size_t type_depth = 0, char_index = 0, type_index = 0, arg_index = 0; in NAMESPACE_BEGIN() local
216 if (type_depth == 0 && text[char_index] != '*' && arg_index < args) { in NAMESPACE_BEGIN()
226 ++type_depth; in NAMESPACE_BEGIN()
228 --type_depth; in NAMESPACE_BEGIN()
229 if (type_depth == 0) { in NAMESPACE_BEGIN()
256 if (type_depth != 0 || types[type_index] != nullptr) in NAMESPACE_BEGIN()
|
| /dports/graphics/open3d/Open3D-0.2/src/External/pybind11/include/pybind11/ |
| H A D | pybind11.h | 220 size_t type_depth = 0, char_index = 0, type_index = 0, arg_index = 0; in NAMESPACE_BEGIN() local
228 if (type_depth == 0 && text[char_index] != '*' && arg_index < args) { in NAMESPACE_BEGIN()
238 ++type_depth; in NAMESPACE_BEGIN()
240 --type_depth; in NAMESPACE_BEGIN()
241 if (type_depth == 0) { in NAMESPACE_BEGIN()
275 if (type_depth != 0 || types[type_index] != nullptr) in NAMESPACE_BEGIN()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/java/ |
| H A D | verify-impl.c | 717 type_depth (type *t) in type_depth() function
1149 s->stackdepth -= type_depth (&r); in pop_raw()
1224 depth = type_depth (&t); in vfy_push_type_t()
1250 depth = type_depth (&t); in set_variable()
1265 int depth = type_depth (t); in get_variable_t()
2970 nargs -= type_depth (&arg_types[i]); in verify_instructions_0()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/java/ |
| H A D | verify-impl.c | 717 type_depth (type *t) in type_depth() function
1149 s->stackdepth -= type_depth (&r); in pop_raw()
1224 depth = type_depth (&t); in vfy_push_type_t()
1250 depth = type_depth (&t); in set_variable()
1265 int depth = type_depth (t); in get_variable_t()
2970 nargs -= type_depth (&arg_types[i]); in verify_instructions_0()
|
| /dports/graphics/py-open3d-python/Open3D-0.2/src/External/pybind11/include/pybind11/ |
| H A D | pybind11.h | 220 size_t type_depth = 0, char_index = 0, type_index = 0, arg_index = 0; in NAMESPACE_BEGIN() local
228 if (type_depth == 0 && text[char_index] != '*' && arg_index < args) { in NAMESPACE_BEGIN()
238 ++type_depth; in NAMESPACE_BEGIN()
240 --type_depth; in NAMESPACE_BEGIN()
241 if (type_depth == 0) { in NAMESPACE_BEGIN()
275 if (type_depth != 0 || types[type_index] != nullptr) in NAMESPACE_BEGIN()
|
| /dports/science/py-dlib/dlib-19.22/dlib/external/pybind11/include/pybind11/ |
| H A D | pybind11.h | 220 size_t type_depth = 0, char_index = 0, type_index = 0, arg_index = 0; in NAMESPACE_BEGIN() local
228 if (type_depth == 0 && text[char_index] != '*' && arg_index < args) { in NAMESPACE_BEGIN()
238 ++type_depth; in NAMESPACE_BEGIN()
240 --type_depth; in NAMESPACE_BEGIN()
241 if (type_depth == 0) { in NAMESPACE_BEGIN()
272 if (type_depth != 0 || types[type_index] != nullptr) in NAMESPACE_BEGIN()
|
| /dports/science/dlib-cpp/dlib-19.22/dlib/external/pybind11/include/pybind11/ |
| H A D | pybind11.h | 220 size_t type_depth = 0, char_index = 0, type_index = 0, arg_index = 0; in NAMESPACE_BEGIN() local
228 if (type_depth == 0 && text[char_index] != '*' && arg_index < args) { in NAMESPACE_BEGIN()
238 ++type_depth; in NAMESPACE_BEGIN()
240 --type_depth; in NAMESPACE_BEGIN()
241 if (type_depth == 0) { in NAMESPACE_BEGIN()
272 if (type_depth != 0 || types[type_index] != nullptr) in NAMESPACE_BEGIN()
|
| /dports/devel/gobject-introspection/gobject-introspection-1.70.0/girepository/ |
| H A D | girparser.c | 127 int type_depth; member
1939 ctx->type_depth++; in start_type()
1961 ctx->type_depth = 1; in start_type()
2171 ctx->type_depth = 0; in end_type_top()
2216 if (ctx->type_depth == 1) in end_type()
2224 ctx->type_depth--; in end_type()
3608 ctx.type_depth = 0; in _g_ir_parser_parse_string()
|
| /dports/net/mpich2/mpich2-1.5/src/pm/hydra/tools/topo/hwloc/hwloc/include/private/ |
| H A D | private.h | 71 int type_depth[HWLOC_OBJ_TYPE_MAX]; member
|
| /dports/net/openmpi3/openmpi-3.1.6/opal/mca/hwloc/hwloc1117/hwloc/include/private/ |
| H A D | private.h | 56 int type_depth[HWLOC_OBJ_TYPE_MAX]; member
|
| /dports/devel/hwloc/hwloc-1.11.13/include/private/ |
| H A D | private.h | 56 int type_depth[HWLOC_OBJ_TYPE_MAX]; member
|
| /dports/net/openmpi/openmpi-4.1.1/opal/mca/hwloc/hwloc201/hwloc/include/private/ |
| H A D | private.h | 58 int type_depth[HWLOC_OBJ_TYPE_MAX]; member
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | term_database_sygus.cpp | 859 void TermDbSygus::computeMinTypeDepthInternal( TypeNode root_tn, TypeNode tn, unsigned type_depth )… in computeMinTypeDepthInternal() argument
861 if( it==d_min_type_depth[root_tn].end() || type_depth<it->second ){ in computeMinTypeDepthInternal()
867 d_min_type_depth[root_tn][tn] = type_depth; in computeMinTypeDepthInternal()
872 computeMinTypeDepthInternal( root_tn, getArgType( dt[i], j ), type_depth+1 ); in computeMinTypeDepthInternal()
|