Home
last modified time | relevance | path

Searched refs:SolveMode_t (Results 1 – 17 of 17) sorted by relevance

/dports/math/clasp/clasp-3.3.5/clasp/
H A Dclasp_facade.h143 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 Dclasp_facade.h143 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 Dclasp_facade.h143 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 Dexample3.cpp35 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 Dexample4.cpp55 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 Dexample3.cpp35 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 Dexample4.cpp55 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 Dexample3.cpp35 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 Dexample4.cpp55 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 Dclasp_facade.cpp210 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 Dclasp_facade.cpp210 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 Dclasp_facade.cpp210 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 Dfacade_test.cpp542 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 Dfacade_test.cpp597 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 Dfacade_test.cpp597 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 Dclingocontrol.cc369 …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 Dclingocontrol.hh458 ClingoSolveFuture(ClingoControl &ctl, Clasp::SolveMode_t mode);