clasp-3.3.5/tests/facade_test.cpp

275 			for (Clasp::ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield); it.next();) {
542 		ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield);
551 		ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield);
562 			for (ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield); it.next(); ) {
575 		ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield);
585 		for (ClaspFacade::SolveHandle j = libclasp.solve(SolveMode_t::Yield); j.next(); ++mod) {
593 		{ libclasp.solve(SolveMode_t::Yield); }
613 			for (ClaspFacade::SolveHandle g = libclasp.solve(SolveMode_t::Yield); g.next(); ++mod) {
620 			ClaspFacade::SolveHandle g = libclasp.solve(SolveMode_t::Yield, LitVec(), &h);
786 		AsyncResult it = libclasp.solve(SolveMode_t::Async|SolveMode_t::Yield);
818 		AsyncResult result = libclasp.solve(SolveMode_t::Async, LitVec(), &unblocker);
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));
872 		AsyncResult* it = new AsyncResult(libclasp.solve(SolveMode_t::AsyncYield));
881 		AsyncResult step0 = libclasp.solve(SolveMode_t::Async);
885 		AsyncResult step1 = libclasp.solve(SolveMode_t::AsyncYield);
898 		for (ClaspFacade::SolveHandle it = libclasp.solve(SolveMode_t::Yield); it.next(); ++mod) {
921 			AsyncResult step0 = libclasp.solve(SolveMode_t::Async, LitVec(), &h);
928 			AsyncResult step0 = libclasp.solve(SolveMode_t::Async, LitVec(), &h);
963 			REQUIRE_THROWS_AS(libclasp.solve(SolveMode_t::Default, LitVec(), &h), std::runtime_error);