/dports/math/GiNaC/ginac-1.8.2/check/ |
H A D | exam_polygcd.cpp | 30 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 D | asistant-table.ads | 67 (1, MAX_VARIABLES, new V_Table (1 .. MAX_VARIABLES));
|
H A D | asistant-common.ads | 51 MAX_VARIABLES : constant Positive := 100; constant
|
H A D | asistant-table.adb | 183 T.Max := T.Max + MAX_VARIABLES;
|
/dports/games/openjk/OpenJK-07675e2/codemp/icarus/ |
H A D | Q3_Registers.cpp | 75 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 D | Q3_Registers.h | 35 #define MAX_VARIABLES 32 macro
|
/dports/games/openjk/OpenJK-07675e2/codeJK2/game/ |
H A D | Q3_Registers.h | 26 #define MAX_VARIABLES 32 macro
|
H A D | Q3_Registers.cpp | 78 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 D | sat_solver_base_types.h | 50 #define MAX_VARIABLES (UINT32_MAX >> 3) macro
|
H A D | smt_core_base_types.h | 61 #define MAX_VARIABLES (INT32_MAX >> 2) macro
|
H A D | sat_solver.h | 62 #define MAX_VARIABLES (UINT32_MAX >> 3) macro
|
H A D | sat_solver.c | 976 if (size >= MAX_VARIABLES) { in init_sat_solver() 1111 if (new_size >= MAX_VARIABLES) { in sat_solver_extend()
|
H A D | new_sat_solver.c | 2243 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 D | new_sat_solver2.c | 2342 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 D | smt_core.c | 1486 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 D | game_data.h | 34 #define MAX_VARIABLES 128 macro 400 uint16 _variables[MAX_VARIABLES];
|
H A D | game_data.cpp | 186 Common::fill(&_variables[0], &_variables[MAX_VARIABLES], 0); in clearGame()
|
/dports/editors/cooledit/cooledit-3.17.28/editor/ |
H A D | debug.c | 95 #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 D | Q3_Interface.h | 603 enum { VTYPE_NONE = 0, VTYPE_FLOAT, VTYPE_STRING, VTYPE_VECTOR, MAX_VARIABLES = 32 }; enumerator
|
H A D | Q3_Interface.cpp | 11120 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 D | control.c | 234 # 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 D | retroarch.h | 816 #define MAX_VARIABLES 64 macro
|
/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-comp.c | 697 #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 D | tracker-sparql.c | 41 #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 D | tracker-sparql.c | 44 #define MAX_VARIABLES 999 macro 494 if (idx >= MAX_VARIABLES) { in _append_literal_sql()
|