Home
last modified time | relevance | path

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

12

/dports/math/py-pycosat/pycosat-0.6.3/
H A Dtest_pycosat.py130 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 Dtest_pycryptosat.py64 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 Dtest_pycryptosat.py64 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 Domp-general.c1061 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 Dattribs.c1226 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 Domp-general.c1061 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 Dattribs.c1226 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 Domp-general.c1061 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 Dattribs.c1226 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 Dattribs.c1220 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 Dattribs.c1220 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 Dattribs.c1220 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 Dattribs.c1220 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 Dattribs.c1220 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 Dattribs.c1221 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 Dattribs.c1227 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 Dattribs.c1226 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 Dattribs.c1227 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 Domp-general.c1452 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 Dattribs.c1235 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 Domp-general.c1452 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 Dattribs.c1235 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 Domp-general.c1452 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 Dattribs.c1235 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 Domp-general.c1617 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()

12