Home
last modified time | relevance | path

Searched refs:MAX_VARIABLES (Results 1 – 25 of 25) sorted by relevance

/dports/math/GiNaC/ginac-1.8.2/check/
H A Dexam_polygcd.cpp30 const int MAX_VARIABLES = 3; variable
33 static symbol y[MAX_VARIABLES];
38 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd1()
60 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd2()
83 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd3()
103 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd3p()
126 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd4()
151 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd5()
176 for (int v=1; v<=MAX_VARIABLES; v++) { in poly_gcd5p()
198 for (int j=1; j<=MAX_VARIABLES; j++) { in poly_gcd6()
[all …]
/dports/lang/asis/asis-gpl-2016-src/tools/asistant/
H A Dasistant-table.ads67 (1, MAX_VARIABLES, new V_Table (1 .. MAX_VARIABLES));
H A Dasistant-common.ads51 MAX_VARIABLES : constant Positive := 100; constant
H A Dasistant-table.adb183 T.Max := T.Max + MAX_VARIABLES;
/dports/games/openjk/OpenJK-07675e2/codemp/icarus/
H A DQ3_Registers.cpp75 if ( numVariables > MAX_VARIABLES ) in Q3_DeclareVariable()
77 Q3_DebugPrint( WL_ERROR, "too many variables already declared, maximum is %d\n", MAX_VARIABLES ); in Q3_DeclareVariable()
H A DQ3_Registers.h35 #define MAX_VARIABLES 32 macro
/dports/games/openjk/OpenJK-07675e2/codeJK2/game/
H A DQ3_Registers.h26 #define MAX_VARIABLES 32 macro
H A DQ3_Registers.cpp78 if ( numVariables > MAX_VARIABLES ) in Q3_DeclareVariable()
80 Q3_DebugPrint( WL_ERROR, "too many variables already declared, maximum is %d\n", MAX_VARIABLES ); in Q3_DeclareVariable()
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dsat_solver_base_types.h50 #define MAX_VARIABLES (UINT32_MAX >> 3) macro
H A Dsmt_core_base_types.h61 #define MAX_VARIABLES (INT32_MAX >> 2) macro
H A Dsat_solver.h62 #define MAX_VARIABLES (UINT32_MAX >> 3) macro
H A Dsat_solver.c976 if (size >= MAX_VARIABLES) { in init_sat_solver()
1111 if (new_size >= MAX_VARIABLES) { in sat_solver_extend()
H A Dnew_sat_solver.c2243 assert(1 <= nv && nv <= n && n <= MAX_VARIABLES); in init_var_list()
2267 assert(list->size < n && n <= MAX_VARIABLES); in extend_var_list()
2692 assert(0 <= x && x < MAX_VARIABLES); in add_descriptor()
2826 if (sz > MAX_VARIABLES) { in init_nsat_solver()
2834 assert(n >= 1 && n <= MAX_VARIABLES); in init_nsat_solver()
3205 if (new_size > MAX_VARIABLES) { in sat_solver_extend()
H A Dnew_sat_solver2.c2342 assert(0 <= x && x < MAX_VARIABLES); in add_descriptor()
2463 if (sz > MAX_VARIABLES) { in init_nsat_solver()
2471 assert(n >= 1 && n <= MAX_VARIABLES); in init_nsat_solver()
2835 if (new_size > MAX_VARIABLES) { in sat_solver_extend()
H A Dsmt_core.c1486 if (n >= MAX_VARIABLES) { in init_smt_core()
1766 if (n >= MAX_VARIABLES) { in extend_smt_core()
/dports/games/scummvm/scummvm-2.5.1/engines/glk/comprehend/
H A Dgame_data.h34 #define MAX_VARIABLES 128 macro
400 uint16 _variables[MAX_VARIABLES];
H A Dgame_data.cpp186 Common::fill(&_variables[0], &_variables[MAX_VARIABLES], 0); in clearGame()
/dports/editors/cooledit/cooledit-3.17.28/editor/
H A Ddebug.c95 #define MAX_VARIABLES 60 macro
126 } variable[MAX_VARIABLES];
238 if (i >= MAX_VARIABLES - 1) { in xdebug_add_variable()
256 memmove (&d->variable[i], &d->variable[i + 1], (MAX_VARIABLES - i) * sizeof (struct _variable)); in xdebug_remove_variable()
/dports/games/openjk/OpenJK-07675e2/code/game/
H A DQ3_Interface.h603 enum { VTYPE_NONE = 0, VTYPE_FLOAT, VTYPE_STRING, VTYPE_VECTOR, MAX_VARIABLES = 32 }; enumerator
H A DQ3_Interface.cpp11120 if ( m_numVariables > MAX_VARIABLES ) in DeclareVariable()
11122 DebugPrint( WL_ERROR, "too many variables already declared, maximum is %d\n", MAX_VARIABLES ); in DeclareVariable()
/dports/net/dgd/dgd-1.4.23/src/comp/
H A Dcontrol.c234 # define MAX_VARIABLES (USHRT_MAX - 2) macro
961 if (nvars > MAX_VARIABLES - ctrl->nvardefs) { in ctrl_create()
1237 if (nvars == 255 || newctrl->nvariables + nvars == MAX_VARIABLES) { in ctrl_dvar()
/dports/games/retroarch/RetroArch-1.9.7/
H A Dretroarch.h816 #define MAX_VARIABLES 64 macro
/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-comp.c697 #define MAX_VARIABLES 1000000000 /* stay safely under signed int */ macro
728 { if ( nvars >= MAX_VARIABLES ) in analyseVariables2()
1052 if ( (nv = nvars + arity + ci->argvars - body_voids) > MAX_VARIABLES ) in analyse_variables()
/dports/sysutils/tracker/tracker-2.3.4/src/libtracker-data/
H A Dtracker-sparql.c41 #define MAX_VARIABLES 999 macro
458 if (idx >= MAX_VARIABLES) { in _append_literal_sql()
/dports/sysutils/tracker3/tracker-3.1.2/src/libtracker-data/
H A Dtracker-sparql.c44 #define MAX_VARIABLES 999 macro
494 if (idx >= MAX_VARIABLES) { in _append_literal_sql()