/dports/math/py-pycosat/pycosat-0.6.3/ |
H A D | test_pycosat.py | 130 for clause in clauses1: 158 self.assertEqual(solve(clauses1, vars=7), 182 itersolve(iter(clauses1)))) 190 itersolve(tuple(clauses1)))) 198 for clause in clauses1: 206 clauses1]))) 214 for sol in itersolve(clauses1, nvars1): 216 self.assertTrue(evaluate(clauses1, sol)) 218 sols = list(itersolve(clauses1, vars=nvars1)) 226 cnf = copy.deepcopy(clauses1) [all …]
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/python/tests/ |
H A D | test_pycryptosat.py | 64 clauses1 = [[1, -5, 4], [-1, 5, 3, 4], [-3, -4]] 201 for cl in clauses1: 205 self.assertTrue(check_solution(clauses1, solution)) 280 for cl in clauses1: 284 self.assertTrue(res is None or check_solution(clauses1, solution))
|
/dports/math/cryptominisat/cryptominisat-5.8.0/python/tests/ |
H A D | test_pycryptosat.py | 64 clauses1 = [[1, -5, 4], [-1, 5, 3, 4], [-3, -4]] variable 201 for cl in clauses1: 205 self.assertTrue(check_solution(clauses1, solution)) 280 for cl in clauses1: 284 self.assertTrue(res is None or check_solution(clauses1, solution))
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
H A D | omp-general.c | 1061 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1063 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1079 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|
H A D | attribs.c | 1226 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1229 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
H A D | omp-general.c | 1061 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1063 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1079 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|
H A D | attribs.c | 1226 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1229 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ |
H A D | omp-general.c | 1061 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1063 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1079 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|
H A D | attribs.c | 1226 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1229 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
H A D | attribs.c | 1220 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1223 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
H A D | attribs.c | 1220 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1223 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
H A D | attribs.c | 1220 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1223 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
H A D | attribs.c | 1220 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1223 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
H A D | attribs.c | 1220 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1223 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ |
H A D | attribs.c | 1221 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1224 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ |
H A D | attribs.c | 1227 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1230 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ |
H A D | attribs.c | 1226 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1229 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ |
H A D | attribs.c | 1227 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1230 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
H A D | omp-general.c | 1452 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1454 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1470 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|
H A D | attribs.c | 1235 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1238 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
H A D | omp-general.c | 1452 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1454 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1470 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|
H A D | attribs.c | 1235 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) in omp_declare_simd_clauses_equal() argument 1238 for (cl1 = clauses1, cl2 = clauses2; in omp_declare_simd_clauses_equal()
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ |
H A D | omp-general.c | 1452 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1454 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1470 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|
H A D | attribs.c | 1235 omp_declare_simd_clauses_equal (tree clauses1, tree clauses2) 1238 for (cl1 = clauses1, cl2 = clauses2;
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
H A D | omp-general.c | 1617 omp_construct_simd_compare (tree clauses1, tree clauses2) in omp_construct_simd_compare() argument 1619 if (clauses1 == NULL_TREE) in omp_construct_simd_compare() 1635 for (tree c = i ? clauses2 : clauses1; c; c = OMP_CLAUSE_CHAIN (c)) in omp_construct_simd_compare()
|