| /dports/math/yices/yices-2.6.2/src/solvers/simplex/ |
| H A D | integrality_constraints.c | 132 void init_int_constraint(int_constraint_t *cnstr) { in init_int_constraint()
161 void reset_int_constraint(int_constraint_t *cnstr) { in reset_int_constraint()
184 void delete_int_constraint(int_constraint_t *cnstr) { in delete_int_constraint()
210 static void int_constraint_extend_sum(int_constraint_t *cnstr) { in int_constraint_extend_sum()
227 static void int_constraint_extend_fixed_sum(int_constraint_t *cnstr) { in int_constraint_extend_fixed_sum()
314 void int_constraint_add_constant(int_constraint_t *cnstr, const rational_t *a) { in int_constraint_add_constant()
330 static void int_constraint_build_gcd(int_constraint_t *cnstr) { in int_constraint_build_gcd()
389 static bool test_feasibility_condition(int_constraint_t *cnstr) { in test_feasibility_condition()
426 bool int_constraint_is_feasible(int_constraint_t *cnstr, ivector_t *v) { in int_constraint_is_feasible()
440 int32_t int_constraint_get_var(int_constraint_t *cnstr, uint32_t i) { in int_constraint_get_var()
[all …]
|
| H A D | integrality_constraints.h | 229 static inline uint32_t int_constraint_num_terms(int_constraint_t *cnstr) { in int_constraint_num_terms()
251 static inline rational_t *int_constraint_period(int_constraint_t *cnstr) { in int_constraint_period()
255 static inline rational_t *int_constraint_phase(int_constraint_t *cnstr) { in int_constraint_phase()
|
| H A D | int_constraint_printer.c | 72 static void show_fixed_vars(FILE *f, simplex_solver_t *solver, int_constraint_t *cnstr) { in show_fixed_vars()
92 void print_int_constraint(FILE *f, simplex_solver_t *solver, int_constraint_t *cnstr) { in print_int_constraint()
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_integrality_constraints.c | 186 static void show_constraint(FILE *f, int_constraint_t *cnstr) { in show_constraint()
196 static void show_fixed_vars(FILE *f, int_constraint_t *cnstr) { in show_fixed_vars()
214 static void show_constraint_details(FILE *f, int_constraint_t *cnstr) { in show_constraint_details()
238 static void sum_of_fixed_terms(int_constraint_t *cnstr, rational_t *sum) { in sum_of_fixed_terms()
253 static void get_solution_for_var(int_constraint_t *cnstr, uint32_t k, rational_t *val, int32_t z) { in get_solution_for_var()
273 static void check_period_and_phase(int_constraint_t *cnstr, uint32_t k, rational_t *period, rationa… in check_period_and_phase()
305 static void test_periods_and_phases(int_constraint_t *cnstr) { in test_periods_and_phases()
339 static void run_test(int_constraint_t *cnstr) { in run_test()
|
| /dports/games/stendhal/stendhal-1.35/src/games/stendhal/server/core/config/factory/ |
| H A D | ConfigurableFactoryHelper.java | 172 protected Constructor< ? > cnstr; field in ConfigurableFactoryHelper.ACFactory
174 public ACFactory(final Constructor< ? > cnstr) { in ACFactory()
|
| /dports/math/yices/yices-2.6.2/src/exists_forall/ |
| H A D | efsolver.c | 69 ef_cnstr_t *cnstr; in print_forall_witness() local
463 ef_cnstr_t *cnstr; in ef_solver_test_exists_model() local
620 ef_cnstr_t *cnstr; in ef_sample_constraint() local
763 ef_cnstr_t *cnstr; in ef_build_full_map() local
819 ef_cnstr_t *cnstr; in ef_generalize2() local
837 ef_cnstr_t *cnstr; in ef_generalize3() local
958 ef_cnstr_t *cnstr; in ef_solver_learn() local
|
| H A D | ef_problem.c | 253 uint32_t ef_constraint_num_evars(ef_cnstr_t *cnstr) { in ef_constraint_num_evars()
257 uint32_t ef_constraint_num_uvars(ef_cnstr_t *cnstr) { in ef_constraint_num_uvars()
|
| H A D | ef_problem.h | 88 ef_cnstr_t *cnstr; // array of constraint descriptors member
|
| /dports/databases/postgresql-odbc/psqlodbc-13.02.0000/winbuild/ |
| H A D | regress.ps1 | 227 $cnstr = @() in RunTest() variable
229 "off" { $cnstr += "UseDeclareFetch=0" } in RunTest() variable
230 "on" { $cnstr += "UseDeclareFetch=1" } in RunTest() variable
231 "both" { $cnstr += "UseDeclareFetch=0" in RunTest() variable
232 $cnstr += "UseDeclareFetch=1" } in RunTest() variable
235 $cnstr += $null in RunTest() variable
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | ba_constraint.cpp | 28 std::ostream& operator<<(std::ostream& out, constraint const& cnstr) { in operator <<()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | pb_constraint.cpp | 28 std::ostream& operator<<(std::ostream& out, constraint const& cnstr) { in operator <<()
|
| /dports/x11-toolkits/wxgtk28-contrib/wxGTK-2.8.12/src/iodbc/ |
| H A D | misc.c | 341 char *cnstr, in _iodbcdm_getkeyvalinstr()
|
| /dports/x11-toolkits/wxgtk28-contrib-common/wxGTK-2.8.12/src/iodbc/ |
| H A D | misc.c | 341 char *cnstr, in _iodbcdm_getkeyvalinstr()
|
| /dports/x11-toolkits/wxgtk28/wxGTK-2.8.12/src/iodbc/ |
| H A D | misc.c | 341 char *cnstr, in _iodbcdm_getkeyvalinstr()
|
| /dports/x11-toolkits/wxgtk28-common/wxGTK-2.8.12/src/iodbc/ |
| H A D | misc.c | 341 char *cnstr, in _iodbcdm_getkeyvalinstr()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/ |
| H A D | decl_collector.cpp | 151 func_decl * cnstr = m_dt_util.get_datatype_constructors(s)->get(i); in collect_deps() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
| H A D | decl_collector.cpp | 151 func_decl * cnstr = m_dt_util.get_datatype_constructors(s)->get(i); in collect_deps() local
|
| /dports/math/geogram/geogram-1.7.7/src/lib/exploragram/hexdom/ |
| H A D | quad_cover.cpp | 255 index_t cnstr = get_edge_constraints(mesh,c,B); in quad_cover_solve() local
|
| /dports/databases/unixODBC/unixODBC-2.3.9/Drivers/nn/ |
| H A D | connect.c | 334 char* cnstr, in getkeyvalinstr()
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | term_utils.c | 3699 static void init_arith_cnstr(arith_constraint_t *cnstr) { in init_arith_cnstr()
3708 static void delete_arith_cnstr(arith_constraint_t *cnstr) { in delete_arith_cnstr()
3731 static void arith_cnstr_set_poly(arith_constraint_t *cnstr, polynomial_t *p) { in arith_cnstr_set_poly()
3759 static void arith_cnstr_aux_set_term(arith_constraint_t *cnstr, term_t t) { in arith_cnstr_aux_set_term()
3768 static void arith_cnstr_set_term(arith_constraint_t *cnstr, term_t t) { in arith_cnstr_set_term()
3781 static void arith_cnstr_set_diff(term_table_t *tbl, arith_constraint_t *cnstr, term_t t1, term_t t2… in arith_cnstr_set_diff()
3826 static void store_arith_eq(term_table_t *tbl, arith_constraint_t *cnstr, term_t t) { in store_arith_eq()
3841 static void store_arith_geq(term_table_t *tbl, arith_constraint_t *cnstr, term_t t) { in store_arith_geq()
3859 static void store_arith_lt(term_table_t *tbl, arith_constraint_t *cnstr, term_t t) { in store_arith_lt()
3877 static void store_arith_bineq(term_table_t *tbl, arith_constraint_t *cnstr, term_t t1, term_t t2) { in store_arith_bineq()
[all …]
|
| /dports/math/yices/yices-2.6.2/src/model/ |
| H A D | arith_projection.h | 202 ptr_set2_t **cnstr; member
|
| /dports/textproc/py-pygments-25/Pygments-2.5.2/tests/examplefiles/ |
| H A D | intsyn.sig | 167 type cnstr = Cnstr ref type
|
| /dports/textproc/py-pygments/Pygments-2.7.2/tests/examplefiles/ |
| H A D | intsyn.sig | 167 type cnstr = Cnstr ref type
|
| /dports/multimedia/opentoonz/opentoonz-1.5.0/toonz/sources/tnzext/ |
| H A D | plasticdeformer.cpp | 131 inline void addConstraint1d(int j, const LinearConstraint &cnstr, in addConstraint1d()
143 inline void addConstraint2d(int j, const LinearConstraint &cnstr, in addConstraint2d()
|
| /dports/graphics/opencv/opencv-4.5.3/modules/imgproc/src/ |
| H A D | bilateral_filter.dispatch.cpp | 115 String cnstr = cn > 1 ? format("%d", cn) : ""; in ocl_bilateralFilter_8u() local
|