| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | api_qe.cpp | 47 unsigned num_bounds, in Z3_qe_model_project()
73 unsigned num_bounds, in Z3_qe_model_project_skolem()
|
| /dports/multimedia/gpac-mp4box/gpac-1.0.0/src/bifs/ |
| H A D | predictive_mffield.c | 39 u32 intra_mode, intra_inter, compNbBits, num_bounds, num_comp, num_fields, QNbBits; member
|
| /dports/multimedia/gpac-libgpac/gpac-1.0.0/src/bifs/ |
| H A D | predictive_mffield.c | 39 u32 intra_mode, intra_inter, compNbBits, num_bounds, num_comp, num_fields, QNbBits; member
|
| /dports/databases/grass7/grass-7.8.6/raster/r.in.bin/ |
| H A D | main.c | 503 int num_bounds; in main() local
|
| /dports/math/clrng/clRNG-1.0.0-beta/src/tests/ctest/ |
| H A D | checks_prec.c.h | 135 size_t num_bounds = CTEST_ARRAY_SIZE(bounds); in CTEST_MANGLE_PREC2() local
|
| /dports/games/zhlt/zhlt-3.4/hlvis/ |
| H A D | flow.cpp | 1068 …otProducts(plane_t *org_split_plane, leaf_t *leaf1, leaf_t *leaf2, plane_t *bounds, int num_bounds) in CalcSplitsAndDotProducts()
|
| /dports/devel/upp/upp/bazaar/plugin/gdal/ogr/ogrsf_frmts/dgn/ |
| H A D | dgnlib.h | 465 short num_bounds; /*!< number of boundaries */ member
|
| /dports/graphics/py-gdal/gdal-3.3.3/ogr/ogrsf_frmts/dgn/ |
| H A D | dgnlib.h | 468 short num_bounds; /*!< number of boundaries */ member
|
| /dports/graphics/mirtk/MIRTK-2.0.0-122-g38210fa/Modules/PointSet/src/ |
| H A D | PointSetUtils.cc | 605 int num_bounds = NumberOfBoundarySegments(dataset, &edgeTable); in Genus() local
|
| /dports/graphics/gdal/gdal-3.3.3/ogr/ogrsf_frmts/dgn/ |
| H A D | dgnlib.h | 468 short num_bounds; /*!< number of boundaries */ member
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | quantifiers_rewriter.cpp | 1124 std::map<Node, std::map<bool, std::map<Node, bool> > > num_bounds; in getVarElimIneq() local
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/constraint_solver/ |
| H A D | routing.h | 2529 SimpleBoundCosts(int num_bounds, BoundCost default_bound_cost) in SimpleBoundCosts()
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | qe_arith_plugin.cpp | 1991 unsigned num_bounds = bounds.size(is_strict, is_lower); in find_min_max() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | qe_arith_plugin.cpp | 1991 unsigned num_bounds = bounds.size(is_strict, is_lower); in find_min_max() local
|