| /dports/math/polymake/polymake-4.5/apps/polytope/src/ |
| H A D | check_poly.cc | 38 max_d = n-1, // upper bound for the dimension in check_inc()
48 max_d = std::min(vlist->size(), max_d); in check_inc()
53 max_d = std::min(vlist->size(), max_d); in check_inc()
57 if (verbose) cout << "check_poly: face lattice analysis; dim <= " << max_d << endl; in check_inc()
59 Array<Int> c(max_d+1); // for i>0: in check_inc()
63 Array<Int> width(max_d+1); // number of i-cofaces in check_inc()
66 while (max_d > 0 && (width[d+1] = F.size()) > 1) { in check_inc()
72 if (card < max_d) max_d = card; in check_inc()
77 if (l < max_d) max_d = l; in check_inc()
80 max_d--; in check_inc()
|
| /dports/databases/postgresql96-server/postgresql-9.6.24/src/backend/utils/adt/ |
| H A D | levenshtein.c | 73 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
149 if (max_d >= 0) in varstr_levenshtein_less_equal()
157 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
158 return max_d + 1; in varstr_levenshtein_less_equal()
162 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
163 max_d = -1; in varstr_levenshtein_less_equal()
242 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
345 if (max_d >= 0) in varstr_levenshtein_less_equal()
384 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
385 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql96-pltcl/postgresql-9.6.24/src/backend/utils/adt/ |
| H A D | levenshtein.c | 73 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
149 if (max_d >= 0) in varstr_levenshtein_less_equal()
157 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
158 return max_d + 1; in varstr_levenshtein_less_equal()
162 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
163 max_d = -1; in varstr_levenshtein_less_equal()
242 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
345 if (max_d >= 0) in varstr_levenshtein_less_equal()
384 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
385 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql96-plpython/postgresql-9.6.24/src/backend/utils/adt/ |
| H A D | levenshtein.c | 73 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
149 if (max_d >= 0) in varstr_levenshtein_less_equal()
157 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
158 return max_d + 1; in varstr_levenshtein_less_equal()
162 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
163 max_d = -1; in varstr_levenshtein_less_equal()
242 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
345 if (max_d >= 0) in varstr_levenshtein_less_equal()
384 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
385 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql10-plperl/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql10-pltcl/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql11-client/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql10-contrib/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql10-plpython/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql10-docs/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql10-client/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql11-plperl/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql11-contrib/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql11-plpython/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in get_current_ts_config()
147 if (max_d >= 0) in get_current_ts_config()
155 if (min_theo_d > max_d) in get_current_ts_config()
156 return max_d + 1; in get_current_ts_config()
160 if (max_d >= max_theo_d) in get_current_ts_config()
161 max_d = -1; in get_current_ts_config()
240 prev[stop_column] = max_d + 1; in get_current_ts_config()
343 if (max_d >= 0) in get_current_ts_config()
382 prev[start_column] = max_d + 1; in get_current_ts_config()
383 curr[start_column] = max_d + 1; in get_current_ts_config()
[all …]
|
| /dports/databases/postgresql11-docs/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql11-server/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in data_source_editor_get_type()
147 if (max_d >= 0) in data_source_editor_get_type()
155 if (min_theo_d > max_d) in data_source_editor_get_type()
156 return max_d + 1; in data_source_editor_get_type()
160 if (max_d >= max_theo_d) in data_source_editor_get_type()
161 max_d = -1; in data_source_editor_get_type()
240 prev[stop_column] = max_d + 1; in data_source_editor_get_type()
343 if (max_d >= 0) in data_source_editor_get_type()
382 prev[start_column] = max_d + 1; in data_source_editor_get_type()
383 curr[start_column] = max_d + 1; in data_source_editor_get_type()
[all …]
|
| /dports/databases/postgresql10-server/postgresql-10.19/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql11-pltcl/postgresql-11.14/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql14-pltcl/postgresql-14.1/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql14-server/postgresql-14.1/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql96-client/postgresql-9.6.24/src/backend/utils/adt/ |
| H A D | levenshtein.c | 73 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
149 if (max_d >= 0) in varstr_levenshtein_less_equal()
157 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
158 return max_d + 1; in varstr_levenshtein_less_equal()
162 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
163 max_d = -1; in varstr_levenshtein_less_equal()
242 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
345 if (max_d >= 0) in varstr_levenshtein_less_equal()
384 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
385 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql14-client/postgresql-14.1/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql14-contrib/postgresql-14.1/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted)
147 if (max_d >= 0)
155 if (min_theo_d > max_d)
156 return max_d + 1;
160 if (max_d >= max_theo_d)
161 max_d = -1;
240 prev[stop_column] = max_d + 1;
343 if (max_d >= 0)
382 prev[start_column] = max_d + 1;
383 curr[start_column] = max_d + 1;
[all …]
|
| /dports/databases/postgresql14-plpython/postgresql-14.1/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|
| /dports/databases/postgresql14-docs/postgresql-14.1/src/backend/utils/adt/ |
| H A D | levenshtein.c | 71 int max_d, bool trusted) in varstr_levenshtein_less_equal() argument
147 if (max_d >= 0) in varstr_levenshtein_less_equal()
155 if (min_theo_d > max_d) in varstr_levenshtein_less_equal()
156 return max_d + 1; in varstr_levenshtein_less_equal()
160 if (max_d >= max_theo_d) in varstr_levenshtein_less_equal()
161 max_d = -1; in varstr_levenshtein_less_equal()
240 prev[stop_column] = max_d + 1; in varstr_levenshtein_less_equal()
343 if (max_d >= 0) in varstr_levenshtein_less_equal()
382 prev[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
383 curr[start_column] = max_d + 1; in varstr_levenshtein_less_equal()
[all …]
|