| /dports/comms/liquid-dsp/liquid-dsp-1.3.2/src/math/tests/ |
| H A D | gcd_autotest.c | 32 unsigned int gcd_test = liquid_gcd(P,Q); in testbench_gcd() local
34 printf(" gcd(%12u,%12u) = %12u (expected %u)\n", P, Q, gcd_test, _gcd); in testbench_gcd()
35 CONTEND_EQUALITY(gcd_test, _gcd); in testbench_gcd()
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | arith_eq_solver.cpp | 133 bool arith_eq_solver::gcd_test(vector<numeral>& values) { in gcd_test() function in arith_eq_solver
200 if (!gcd_test(values)) { in solve_integer_equation()
354 if (!gcd_test(r)) { in solve_integer_equations_units()
363 if (!gcd_test(r)) { in solve_integer_equations_units()
484 if (gcd_test(unsat_row)) { in solve_integer_equations_omega()
488 SASSERT(!gcd_test(unsat_row)); in solve_integer_equations_omega()
542 if (!gcd_test(r)) { in solve_integer_equations_gcd()
614 if (!gcd_test(r)) { in solve_integer_equations_gcd()
|
| H A D | arith_eq_solver.h | 37 bool gcd_test(vector<numeral>& values);
|
| H A D | theory_arith_int.h | 702 bool theory_arith<Ext>::gcd_test(row const & r) { in gcd_test() function
856 bool theory_arith<Ext>::gcd_test() { in gcd_test() function
865 if (v != null_theory_var && is_int(v) && !get_value(v).is_int() && !gcd_test(*it)) { in gcd_test()
1016 if (!gcd_test()) in check_int_feasibility()
1086 if (!gcd_test()) in check_int_feasibility()
|
| H A D | theory_arith.h | 850 bool gcd_test(row const & r);
852 bool gcd_test();
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | arith_eq_solver.cpp | 133 bool arith_eq_solver::gcd_test(vector<numeral>& values) { in gcd_test() function in arith_eq_solver
200 if (!gcd_test(values)) { in solve_integer_equation()
354 if (!gcd_test(r)) { in solve_integer_equations_units()
363 if (!gcd_test(r)) { in solve_integer_equations_units()
484 if (gcd_test(unsat_row)) { in solve_integer_equations_omega()
488 SASSERT(!gcd_test(unsat_row)); in solve_integer_equations_omega()
542 if (!gcd_test(r)) { in solve_integer_equations_gcd()
614 if (!gcd_test(r)) { in solve_integer_equations_gcd()
|
| H A D | arith_eq_solver.h | 37 bool gcd_test(vector<numeral>& values);
|
| H A D | theory_arith_int.h | 702 bool theory_arith<Ext>::gcd_test(row const & r) { in gcd_test() function
856 bool theory_arith<Ext>::gcd_test() { in gcd_test() function
865 if (v != null_theory_var && is_int(v) && !get_value(v).is_int() && !gcd_test(*it)) { in gcd_test()
1016 if (!gcd_test()) in check_int_feasibility()
1086 if (!gcd_test()) in check_int_feasibility()
|
| H A D | theory_arith.h | 850 bool gcd_test(row const & r);
852 bool gcd_test();
|
| /dports/lang/nickle/nickle-2.90/test/ |
| H A D | gcdtest.5c | 44 void function gcd_test (int amin, int amax, int bmin, int bmax)
53 gcd_test (2, 200, 2, 200)
|
| /dports/math/cln/cln-1.3.6/tests/ |
| H A D | exam_I_gcd.cc | 14 struct gcd_test { struct
43 static gcd_test integer_gcd_tests[] = {
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | int_gcd_test.h | 40 bool gcd_test();
|
| H A D | int_gcd_test.cpp | 65 if (gcd_test()) { in operator ()()
78 bool int_gcd_test::gcd_test() { in gcd_test() function in lp::int_gcd_test
|
| /dports/lang/parrot/parrot-8.1.0/t/dynoplibs/ |
| H A D | obscure.t | 33 gcd_test()
180 .sub gcd_test
|
| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | int_gcd_test.h | 64 bool gcd_test();
|
| H A D | int_gcd_test.cpp | 64 if (gcd_test()) { in operator ()()
77 bool int_gcd_test::gcd_test() { in gcd_test() function in lp::int_gcd_test
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | poly_rewriter.h | 127 bool gcd_test(expr* lhs, expr* rhs) const;
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | poly_rewriter.h | 127 bool gcd_test(expr* lhs, expr* rhs) const;
|
| /dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/base/simple_classes/bigint/ |
| H A D | bigint_appl.cc | 540 void gcd_test (const bigint & A, const bigint & B) in gcd_test() function
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/rational/test/ |
| H A D | rational_test.cpp | 453 BOOST_AUTO_TEST_CASE_TEMPLATE( gcd_test, T, all_signed_test_types ) in BOOST_AUTO_TEST_SUITE()
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/rational/test/ |
| H A D | rational_test.cpp | 453 BOOST_AUTO_TEST_CASE_TEMPLATE( gcd_test, T, all_signed_test_types ) in BOOST_AUTO_TEST_SUITE()
|
| /dports/databases/percona57-server/boost_1_59_0/libs/rational/test/ |
| H A D | rational_test.cpp | 453 BOOST_AUTO_TEST_CASE_TEMPLATE( gcd_test, T, all_signed_test_types ) in BOOST_AUTO_TEST_SUITE()
|
| /dports/databases/xtrabackup/boost_1_59_0/libs/rational/test/ |
| H A D | rational_test.cpp | 453 BOOST_AUTO_TEST_CASE_TEMPLATE( gcd_test, T, all_signed_test_types ) in BOOST_AUTO_TEST_SUITE()
|
| /dports/databases/percona57-client/boost_1_59_0/libs/rational/test/ |
| H A D | rational_test.cpp | 453 BOOST_AUTO_TEST_CASE_TEMPLATE( gcd_test, T, all_signed_test_types ) in BOOST_AUTO_TEST_SUITE()
|
| /dports/multimedia/librespot/librespot-0.1.3/cargo-crates/typenum-1.12.0/src/ |
| H A D | uint.rs | 1444 macro_rules! gcd_test { macro
1457 gcd_test! { in gcd()
|