| /dports/math/clingo/clingo-5.5.1/libclingo/tests/ |
| H A D | clingo.cc | 188 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
313 REQUIRE(async.get().is_satisfiable());
472 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
494 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
501 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
518 REQUIRE(iter.get().is_satisfiable());
528 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
536 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
538 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
545 REQUIRE(test_solve(ctl.solve(), models).is_satisfiable());
[all …]
|
| /dports/devel/ppl/ppl-1.2/tests/PIP_Problem/ |
| H A D | weightwatch1.cc | 144 (void) pip.is_satisfiable(); in test01()
161 if (mip.is_satisfiable()) { in test01()
|
| H A D | exceptions1.cc | 193 (void) pip.is_satisfiable(); in test09()
245 (void) pip.is_satisfiable(); in test11()
|
| H A D | pipproblem3.cc | 167 bool ok = !pip.is_satisfiable(); in test04()
|
| H A D | pipproblem1.cc | 351 bool ok = pip.is_satisfiable(); in test08()
|
| /dports/devel/ppl/ppl-1.2/tests/MIP_Problem/ |
| H A D | mipproblem4.cc | 31 mip.is_satisfiable(); in test01()
|
| H A D | mipproblem3.cc | 138 return !mip.is_satisfiable(); in test04()
|
| H A D | mipproblem1.cc | 149 return !mip.is_satisfiable(); in test01()
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | termination.cc | 493 return mip.is_satisfiable(); in termination_test_MS()
502 if (!mip.is_satisfiable()) { in one_affine_ranking_function_MS()
607 return mip.is_satisfiable(); in termination_test_PR_original()
638 return mip.is_satisfiable(); in termination_test_PR()
704 if (!mip.is_satisfiable()) { in one_affine_ranking_function_PR()
758 if (!mip.is_satisfiable()) { in one_affine_ranking_function_PR_original()
|
| H A D | PIP_Problem_defs.hh | 650 bool is_satisfiable() const;
|
| H A D | MIP_Problem_defs.hh | 395 bool is_satisfiable() const;
|
| H A D | PIP_Problem.cc | 721 PPL::PIP_Problem::is_satisfiable() const { in is_satisfiable() function in PPL::PIP_Problem
|
| H A D | MIP_Problem.cc | 226 if (is_satisfiable()) { in feasible_point()
247 PPL::MIP_Problem::is_satisfiable() const { in is_satisfiable() function in PPL::MIP_Problem
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
| H A D | PIP_Problem.java | 273 public native boolean is_satisfiable(); in is_satisfiable() method in PIP_Problem
|
| H A D | MIP_Problem.java | 237 public native boolean is_satisfiable(); in is_satisfiable() method in MIP_Problem
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/tests/ |
| H A D | MIP_Problem_test1.java | 152 ok = mip1.is_satisfiable(); in test02()
176 ok = !mip3.is_satisfiable(); in test02()
|
| H A D | PIP_Problem_test1.java | 142 ok = pip1.is_satisfiable(); in test02()
245 boolean ok = pip1.is_satisfiable(); in test03()
|
| /dports/databases/tiledb/TileDB-2.5.2/tiledb/common/interval/ |
| H A D | interval.h | 603 Bound(bool is_infinite, bool is_satisfiable) noexcept
608 , is_satisfiable_(is_satisfiable) {
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/python/src/ |
| H A D | pycryptosat.cpp | 836 static PyObject* is_satisfiable(Solver *self)
1039 …{"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc},
|
| H A D | pycryptosat.cpp.in | 829 "is_satisfiable()\n\
836 static PyObject* is_satisfiable(Solver *self) function
1039 …{"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc},
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/python/src/ |
| H A D | pycryptosat.cpp.in | 829 "is_satisfiable()\n\
836 static PyObject* is_satisfiable(Solver *self) function
1039 …{"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc},
|
| /dports/devel/ppl/ppl-1.2/interfaces/OCaml/ |
| H A D | ppl_ocaml_common.cc | 963 CAMLreturn(ppl_mip.is_satisfiable()); in ppl_MIP_Problem_is_satisfiable()
1322 CAMLreturn(ppl_pip.is_satisfiable()); in ppl_PIP_Problem_is_satisfiable()
|
| /dports/devel/ppl/ppl-1.2/interfaces/C/ |
| H A D | ppl_c_implementation_common.cc | 2016 return to_const(mip)->is_satisfiable() ? 1 : 0; in ppl_MIP_Problem_is_satisfiable()
2263 return to_const(pip)->is_satisfiable() ? 1 : 0; in ppl_PIP_Problem_is_satisfiable()
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/jni/ |
| H A D | ppl_java_globals.cc | 1076 return mip->is_satisfiable(); in Java_parma_1polyhedra_1library_MIP_1Problem_is_1satisfiable()
1779 return pip->is_satisfiable(); in Java_parma_1polyhedra_1library_PIP_1Problem_is_1satisfiable()
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
| H A D | ppl_prolog_common.cc | 2370 if (mip->is_satisfiable()) in ppl_MIP_Problem_is_satisfiable()
2862 if (pip->is_satisfiable()) in ppl_PIP_Problem_is_satisfiable()
|