/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | clasp_facade.h | 143 struct SolveMode_t { struct 145 POTASSCO_ENUM_CONSTANTS(SolveMode_t, 150 …friend inline SolveMode_t operator|(SolveMode_t::E x, SolveMode_t::E y) { return SolveMode_t(stati… 151 …friend inline SolveMode_t operator|(SolveMode_t x, SolveMode_t::E y) { return SolveMode_t(stati… 152 …friend inline SolveMode_t operator|(SolveMode_t::E x, SolveMode_t y) { return SolveMode_t(stati… 395 SolveHandle solve(SolveMode_t mode, const LitVec& a = LitVec(), EventHandler* eh = 0);
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | clasp_facade.h | 143 struct SolveMode_t { struct 145 POTASSCO_ENUM_CONSTANTS(SolveMode_t, 150 …friend inline SolveMode_t operator|(SolveMode_t::E x, SolveMode_t::E y) { return SolveMode_t(stati… 151 …friend inline SolveMode_t operator|(SolveMode_t x, SolveMode_t::E y) { return SolveMode_t(stati… 152 …friend inline SolveMode_t operator|(SolveMode_t::E x, SolveMode_t y) { return SolveMode_t(stati… 404 SolveHandle solve(SolveMode_t mode, const LitVec& a = LitVec(), EventHandler* eh = 0);
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | clasp_facade.h | 143 struct SolveMode_t { struct 145 POTASSCO_ENUM_CONSTANTS(SolveMode_t, 150 …friend inline SolveMode_t operator|(SolveMode_t::E x, SolveMode_t::E y) { return SolveMode_t(stati… 151 …friend inline SolveMode_t operator|(SolveMode_t x, SolveMode_t::E y) { return SolveMode_t(stati… 152 …friend inline SolveMode_t operator|(SolveMode_t::E x, SolveMode_t y) { return SolveMode_t(stati… 404 SolveHandle solve(SolveMode_t mode, const LitVec& a = LitVec(), EventHandler* eh = 0);
|
/dports/math/clingo/clingo-5.5.1/clasp/examples/ |
H A D | example3.cpp | 35 void example3(Clasp::SolveMode_t mode) { in example3() 52 …std::cout << "With Clasp::" << (((mode & Clasp::SolveMode_t::Async) != 0) ? "AsyncYield" : "Yield"… in example3() 53 Clasp::ClaspFacade::SolveHandle it = libclasp.solve(mode|Clasp::SolveMode_t::Yield); in example3() 64 example3(Clasp::SolveMode_t::Default); in example3() 66 example3(Clasp::SolveMode_t::Async); in example3()
|
H A D | example4.cpp | 55 for (Clasp::ClaspFacade::SolveHandle h = libclasp.solve(Clasp::SolveMode_t::Yield); h.next(); ) { in example4()
|
/dports/math/clasp/clasp-3.3.5/examples/ |
H A D | example3.cpp | 35 void example3(Clasp::SolveMode_t mode) { in example3() 52 …std::cout << "With Clasp::" << (((mode & Clasp::SolveMode_t::Async) != 0) ? "AsyncYield" : "Yield"… in example3() 53 Clasp::ClaspFacade::SolveHandle it = libclasp.solve(mode|Clasp::SolveMode_t::Yield); in example3() 64 example3(Clasp::SolveMode_t::Default); in example3() 66 example3(Clasp::SolveMode_t::Async); in example3()
|
H A D | example4.cpp | 55 for (Clasp::ClaspFacade::SolveHandle h = libclasp.solve(Clasp::SolveMode_t::Yield); h.next(); ) { in example4()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/examples/ |
H A D | example3.cpp | 35 void example3(Clasp::SolveMode_t mode) { in example3() 52 …std::cout << "With Clasp::" << (((mode & Clasp::SolveMode_t::Async) != 0) ? "AsyncYield" : "Yield"… in example3() 53 Clasp::ClaspFacade::SolveHandle it = libclasp.solve(mode|Clasp::SolveMode_t::Yield); in example3() 64 example3(Clasp::SolveMode_t::Default); in example3() 66 example3(Clasp::SolveMode_t::Async); in example3()
|
H A D | example4.cpp | 55 for (Clasp::ClaspFacade::SolveHandle h = libclasp.solve(Clasp::SolveMode_t::Yield); h.next(); ) { in example4()
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | clasp_facade.cpp | 210 static SolveStrategy* create(SolveMode_t m, ClaspFacade& f, SolveAlgorithm& algo); 226 if ((mode_ & SolveMode_t::Yield) != 0) { doNotify(event_model); } in setModel() 248 SolveStrategy(SolveMode_t m, ClaspFacade& f, SolveAlgorithm* algo); 251 void startAlgo(SolveMode_t m); 269 if (mode_ == SolveMode_t::Yield) { continueAlgo(); } in doWait() 287 SolveMode_t mode_; 310 void ClaspFacade::SolveStrategy::startAlgo(SolveMode_t m) { in startAlgo() 317 if ((m & SolveMode_t::Yield) == 0) { in startAlgo() 355 if ((mode_ & SolveMode_t::Async) == 0) { in detachAlgo() 417 if ((m & SolveMode_t::Async) == 0) { return new SolveStrategy(m, f, &algo); } in create() [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | clasp_facade.cpp | 210 static SolveStrategy* create(SolveMode_t m, ClaspFacade& f, SolveAlgorithm& algo); 227 if ((mode_ & SolveMode_t::Yield) != 0) { doNotify(event_model); } in setModel() 254 SolveStrategy(SolveMode_t m, ClaspFacade& f, SolveAlgorithm* algo); 257 void startAlgo(SolveMode_t m); 275 if (mode_ == SolveMode_t::Yield) { continueAlgo(); } in doWait() 293 SolveMode_t mode_; 318 void ClaspFacade::SolveStrategy::startAlgo(SolveMode_t m) { in startAlgo() 325 if ((m & SolveMode_t::Yield) == 0) { in startAlgo() 363 if ((mode_ & SolveMode_t::Async) == 0) { in detachAlgo() 425 if ((m & SolveMode_t::Async) == 0) { return new SolveStrategy(m, f, &algo); } in create() [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | clasp_facade.cpp | 210 static SolveStrategy* create(SolveMode_t m, ClaspFacade& f, SolveAlgorithm& algo); 227 if ((mode_ & SolveMode_t::Yield) != 0) { doNotify(event_model); } in setModel() 254 SolveStrategy(SolveMode_t m, ClaspFacade& f, SolveAlgorithm* algo); 257 void startAlgo(SolveMode_t m); 275 if (mode_ == SolveMode_t::Yield) { continueAlgo(); } in doWait() 293 SolveMode_t mode_; 318 void ClaspFacade::SolveStrategy::startAlgo(SolveMode_t m) { in startAlgo() 325 if ((m & SolveMode_t::Yield) == 0) { in startAlgo() 363 if ((mode_ & SolveMode_t::Async) == 0) { in detachAlgo() 425 if ((m & SolveMode_t::Async) == 0) { return new SolveStrategy(m, f, &algo); } in create() [all …]
|
/dports/math/clasp/clasp-3.3.5/tests/ |
H A D | facade_test.cpp | 542 ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield); 593 { libclasp.solve(SolveMode_t::Yield); } 786 AsyncResult it = libclasp.solve(SolveMode_t::Async|SolveMode_t::Yield); 827 AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); 834 AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); 842 it = libclasp.solve(SolveMode_t::AsyncYield); 850 { AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); } 859 AsyncResult res(localLib->solve(SolveMode_t::AsyncYield)); 868 handle = new AsyncResult(libclasp.solve(SolveMode_t::Async)); 881 AsyncResult step0 = libclasp.solve(SolveMode_t::Async); [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
H A D | facade_test.cpp | 597 ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield); 654 { libclasp.solve(SolveMode_t::Yield); } 947 AsyncResult it = libclasp.solve(SolveMode_t::Async|SolveMode_t::Yield); 988 AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); 995 AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); 1009 it = libclasp.solve(SolveMode_t::AsyncYield, {}, &eh2); 1023 { AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); } 1032 AsyncResult res(localLib->solve(SolveMode_t::AsyncYield)); 1041 handle = new AsyncResult(libclasp.solve(SolveMode_t::Async)); 1054 AsyncResult step0 = libclasp.solve(SolveMode_t::Async); [all …]
|
/dports/math/clingo/clingo-5.5.1/clasp/tests/ |
H A D | facade_test.cpp | 597 ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield); 654 { libclasp.solve(SolveMode_t::Yield); } 947 AsyncResult it = libclasp.solve(SolveMode_t::Async|SolveMode_t::Yield); 988 AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); 995 AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); 1009 it = libclasp.solve(SolveMode_t::AsyncYield, {}, &eh2); 1023 { AsyncResult it = libclasp.solve(SolveMode_t::AsyncYield); } 1032 AsyncResult res(localLib->solve(SolveMode_t::AsyncYield)); 1041 handle = new AsyncResult(libclasp.solve(SolveMode_t::Async)); 1054 AsyncResult step0 = libclasp.solve(SolveMode_t::Async); [all …]
|
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | clingocontrol.cc | 369 …clingo_solve_mode_yield == static_cast<clingo_solve_mode_bitset_t>(Clasp::SolveMode_t::Yield), ""); in solve() 370 …clingo_solve_mode_async == static_cast<clingo_solve_mode_bitset_t>(Clasp::SolveMode_t::Async), ""); in solve() 376 return gringo_make_unique<ClingoSolveFuture>(*this, static_cast<Clasp::SolveMode_t>(mode)); in solve() 791 ClingoSolveFuture::ClingoSolveFuture(ClingoControl &ctl, Clasp::SolveMode_t mode) in ClingoSolveFuture()
|
/dports/math/clingo/clingo-5.5.1/libclingo/clingo/ |
H A D | clingocontrol.hh | 458 ClingoSolveFuture(ClingoControl &ctl, Clasp::SolveMode_t mode);
|